Lean 4.35.0 (2026-10-12)

(lean-lang.org)

2 points | by ngrislain 5 hours ago

No comments yet.