logic-tools / nadea

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

Related projects

Alternatives and complementary repositories for nadea