-
Notifications
You must be signed in to change notification settings - Fork 28
Pull requests: leanprover/lean-eval
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: Add Shafarevich's Theorem on solvable Galois groups problem
#475
opened Jul 20, 2026 by
bixbyr
Loading…
feat: add quantum low individual degree soundness problem
#474
opened Jul 16, 2026 by
LionSR
Loading…
feat(Geometry): possibly easier version of uniformization
#473
opened Jul 15, 2026 by
alreadydone
Contributor
Loading…
feat(Geometry): Mostow rigidity, algebraic form
#472
opened Jul 15, 2026 by
alreadydone
Contributor
•
Draft
Add derived solidification of free CW complexes challenge (light condensed mathematics)
#471
opened Jul 2, 2026 by
dagurtomas
Loading…
fix(generate): skip leading copyright block in import prelude
#467
opened Jun 25, 2026 by
BoltonBailey
Loading…
feat(Combinatorics): Asymptotics of the number of integer partitions
#210
opened May 11, 2026 by
thomaskwaring
Loading…
feat(Computation): Intersection types for combinatory logic
#206
opened May 11, 2026 by
thomaskwaring
Loading…
feat(AlgebraicGeometry): function fields and Faltings' theorem
#191
opened May 10, 2026 by
alreadydone
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.