Section: New Software and Platforms
Checkers
Checkers - A proof verifier
Keywords: Proof - Certification - Verification
Functional Description: Checkers is a tool in Lambda-prolog for the certification of proofs. Checkers consists of a kernel which is based on LKF and is based on the notion of ProofCert.