L
Lean
Product
by Lean community (originally developed at Microsoft Research)
Lean is an open-source functional programming language and interactive theorem prover. It is used to write maintainable software and formally verify mathematical proofs and program properties.
