Lean 4.35.0 (2026-10-12)

 (lean-lang.org)

2 points | by ngrislain 5 hours ago ago

No comments yet.