daviromero / nadiaLinks

Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
30Updated 2 years ago

Alternatives and similar repositories for nadia

Users that are interested in nadia are comparing it to the libraries listed below

Sorting: