theorem-prover

Lean

Programming Language and Theorem Prover

Details