A Natural Deduction proof checker
Primary LanguageYaccMIT LicenseMIT
An Example is included in input.in
input.in