Lean – a proof assistant and a functional programming language #1 Post by gjvc » Mon, Jul 20, 2026, 3:18 PM UTC Lean – a proof assistant and a functional programming languagelean-lang.org