Logic Tools

NaDeA and other open source software for teaching logic

NaDeA (Natural Deduction Assistent)

http://nadea.compute.dtu.dk/

Formalization in Isabelle

http://nadea.compute.dtu.dk/document.pdf

License and source code

https://github.com/logic-tools/nadea