daviromero / anitaLinks

Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
20Updated 2 years ago

Alternatives and similar repositories for anita

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

Sorting: