Lean4¶
Lean4 is a programming language developed by Microsoft Research. It is a functional programming language that is based on theorem proving and dependent type theory. It is designed to be easy to use and easy to understand. It is also designed to be efficient and scalable.