Skip to content
#

leanprover

lean logo

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 are 17 public repositories matching this topic...

Created by Leonardo de Moura

Released 2013

Followers
31 followers
Repository
leanprover/lean
Website
leanprover.github.io
Wikipedia
Wikipedia