-
Notifications
You must be signed in to change notification settings - Fork 22
Pull requests: Vilin97/lean-pool
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add minimum-degree and spread matching theorems
needs-maintainer
Requires a maintainer decision; automation must not merge
#420
opened Sep 11, 2026 by
jtraverso
Contributor
Loading…
fix: preserve module exports when rebasing import PRs
needs-maintainer
Requires a maintainer decision; automation must not merge
#416
opened Sep 11, 2026 by
Vilin97
Owner
Loading…
perf: adopt modules and reduce Lean Pool build cost
needs-maintainer
Requires a maintainer decision; automation must not merge
#415
opened Sep 11, 2026 by
Vilin97
Owner
Loading…
Pool and optimize Navier–Stokes and Euler formalizations
needs-maintainer
Requires a maintainer decision; automation must not merge
#405
opened Sep 9, 2026 by
Vilin97
Owner
Loading…
Import OpenAI infinite Connes rigidity formalization
#393
opened Sep 4, 2026 by
Vilin97
Owner
Loading…
Import the Hopf problem formalization
needs-maintainer
Requires a maintainer decision; automation must not merge
#392
opened Sep 4, 2026 by
Vilin97
Owner
Loading…
Import the finitely presented non-sofic group proof
#385
opened Sep 4, 2026 by
Vilin97
Owner
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-08-12.