Repository navigation

F0Verifier

Public

About

A program that verifies proofs in the F0 proof system

zerobone.net/projects/f0verifier/

f0 proof theorem-proving

2 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.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

Repository files navigation

F0Verifier

A program that verifies proofs in the F0 proof system

About

A program that verifies proofs in the F0 proof system

zerobone.net/projects/f0verifier/

f0 proof theorem-proving

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages