F0Verifier

F0Verifier

A program that verifies propositional logic proofs in the F0 proof system


Copyright © 2019 — 2021 Alexander Mayorov. All rights reserved.