user avatar
Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.
Seattle
Joined April 2018