daviromero / nadiaLinks

Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
30Updated last year

Alternatives and similar repositories for nadia

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

Sorting: