Lean 4.35.0 (2026-10-12)

2 points | by ngrislain 5 hours ago