ended7월 27일· 1 sources
The Proof Machine (2016)
Why it matters
This is a tool to perform proofs in various logics (e.g. propositional, predicate logic) visually: You simply add blocks that represent the various proofs steps, connect them properly, and if the conc...
1
Sources
+0
24h
—
Growth
55d
Active