Lean 4.35.0 (2026-10-12)

(lean-lang.org) by ngrislain | Oct 13, 2026 | 0 comments on HN