CORE documentation
CORE is a proof verifier for predicate logic. See Building and Installing for build and installation instructions.
Note
This project is under active development.
CORE is a proof verifier for predicate logic. See Building and Installing for build and installation instructions.
Note
This project is under active development.