Lean 4.35.0 (2026-10-12)

1 points | by ngrislain an hour ago