8000 lean 4.35.0 + aeneas-latest → upstream Lean-4.35 (aeneas fdebf20d) by bryan-minimal · Pull Request #1000 · gominimal/pkgs · GitHub
[go: up one dir, main page]
Skip to content

lean 4.35.0 + aeneas-latest → upstream Lean-4.35 (aeneas fdebf20d) - #1000

Merged
bryan-minimal merged 2 commits into
mainfrom
lean-4.35-aeneas-latest
Oct 23, 2026
Merged

lean 4.35.0 + aeneas-latest → upstream Lean-4.35 (aeneas fdebf20d)#1000
bryan-minimal merged 2 commits into
mainfrom
lean-4.35-aeneas-latest

aeneas-latest: cache closure is 1,474 files at Mathlib v4.35.0 (comment)

12191e1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar
0