logic-tools / nadeaLinks

NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
16Updated 2 years ago

Alternatives and similar repositories for nadea

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

Sorting: