jafaripur/avicenna-logic-system

A propositional logic system with truth tables, Lemmon-style proofs, parsing, and evaluation.

Language: PHP - Size: 169 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0