8000 aeneas-latest: build against the mathlib package, offline (after #1244) by bryan-minimal · Pull Request #1324 · gominimal/pkgs · GitHub
[go: up one dir, main page]
Skip to content

aeneas-latest: build against the mathlib package, offline (after #1244) - #1324

Merged
bryan-minimal merged 22 commits into
mainfrom
aeneas-latest-on-mathlib
Nov 7, 2026
Merged

aeneas-latest: build against the mathlib package, offline (after #1244)#1324
bryan-minimal merged 22 commits into
mainfrom
aeneas-latest-on-mathlib

Merge origin/main (mathlib #1244 squash-merged, cadical #757) into ae…

f00e42f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar
0