Lean 4.35.0 (2026-10-12)By ngrislain · 2026-10-13 · 1 points · 0 commentshttps://lean-lang.org/doc/reference/latest/releases/v4.35.0/By ngrislain · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews