ronitkothari / Natural-Deduction-Proof-Checker

A proof checker for natural deduction in predicate logic

Geek Repo

Github PK Tool