2014-07-14から1日間の記事一覧
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
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