Lean
@leanprover

Lean is a dependently-typed programming language and theorem prover.

 Seattle
lean-lang.org
Joined April 2018
122 Photos and videos

No items found