## 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.