Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
LICENSE		LICENSE
MainWindow.cpp		MainWindow.cpp
MainWindow.hpp		MainWindow.hpp
MainWindow.ui		MainWindow.ui
QProofModel.cpp		QProofModel.cpp
QProofModel.hpp		QProofModel.hpp
QTheoremProver.pro		QTheoremProver.pro
README.md		README.md
main.cpp		main.cpp