System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool