Tree proof (semantic tableau) generator

(umsu.de)

2 points | by mannykannot 11 hours ago ago