
Copyright: lean theorem prover
The Lean theorem prover is an open-source programming language geared towards formal verification. Its principal developer is Leonardo de Moura of AWS.
Posts (view all)


The Lean theorem prover is an open-source programming language geared towards formal verification. Its principal developer is Leonardo de Moura of AWS.