GitHub - melllinia/prover: Automated Theorem Prover in First Order Propositional Calculus · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
controller.py		controller.py
logic_language.py		logic_language.py
main.py		main.py
parser.py		parser.py
prover.py		prover.py

About

Automated Theorem Prover in First Order Propositional Calculus

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 100.0%