Lean is a functional programming language that makes it easy to write correct

and maintainable code. You can also use Lean as an interactive theorem prover.

Lean programming primarily involves defining types and functions. This allows

your focus to remain on the problem domain and manipulating its data, rather

than the details of programming.

Here is 1 public repository matching this topic...

Created by Leonardo de Moura

Released 2013

Followers

31 followers

Repository

leanprover/lean

Website

leanprover.github.io

Wikipedia

Wikipedia