Theorema 2.0

http://www.risc.jku.at/research/theorema/software/
https://github.com/windsteiger/Theorema
http://www.risc.jku.at/research/theorema/software/documentation/tutorial/FirstTour.html