All languages

Lean

Homepage: https://leanprover.github.io/

TODO: Write the wiki article for Lean.