logic-tools / nadea

NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
14Updated last year

Related projects

Alternatives and complementary repositories for nadea