A Natural Deduction proof checker
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
An Example is included in input.in
input.in
License:MIT License