Lean – a proof assistant and a functional programming language

	▲	Lean – a proof assistant and a functional programming language(lean-lang.org)
		2 points by gjvc 13 hours ago