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

ID: 984707304191856640

linkhttps://lean-lang.org/ calendar_today13-04-2018 08:18:11