lean 3.17.1 The Lean theorem prover and programming language

Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.