The Lean theorem prover.
