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