GitHub - kryras/GUI-Prover9: GUI for Prover9 theorem prover (Linux version) with translator

kryras / GUI-Prover9 Public

GUI for Prover9 theorem prover (Linux version) with translator

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Przykłady		Przykłady
__pycache__		__pycache__
.gitignore		.gitignore
GUIProver9.py		GUIProver9.py
main_file.py		main_file.py
prover9icon.png		prover9icon.png
prover9icon_error.png		prover9icon_error.png
prover9icon_warning.png		prover9icon_warning.png
proverdict.py		proverdict.py
pytajnik2.png		pytajnik2.png
tabela.png		tabela.png
tabela2.png		tabela2.png