-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: leanprover/lean-eval
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(Geometry): more on Riemann surfaces
#639
opened Sep 13, 2026 by
alreadydone
Contributor
Loading…
feat(Geometry): Bourgain's slicing problem
#638
opened Sep 13, 2026 by
alreadydone
Contributor
Loading…
feat(GraphTheory): embedding, chromatic number and minor
#633
opened Sep 13, 2026 by
alreadydone
Contributor
Loading…
ci: probe problem holes for library drift on toolchain bumps
#629
opened Sep 9, 2026 by
ibrahimmian36
Loading…
docs: record that Mathlib now proves symplectic_matrix_det
#628
opened Sep 9, 2026 by
ibrahimmian36
Loading…
feat: add the Hopf S⁶ complex-structure problem
#557
opened Aug 24, 2026 by
Deicyde
Contributor
Loading…
feat(Analysis/PDE): Total variation estimate for hyperbolic systems
#499
opened Jul 31, 2026 by
jvanwinden
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-08-13.