F0Verifier

A program that verifies proofs in the F0 proof system

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
README.md		README.md
formula.py		formula.py
implies.py		implies.py
main.py		main.py
negation.py		negation.py
proof.py		proof.py
variable.py		variable.py

Provide feedback