Lean – a proof assistant and a functional programming language

(lean-lang.org) by gjvc | Jul 20, 2026 | 0 comments on HN