-
Notifications
You must be signed in to change notification settings - Fork 20
Pull requests: leanprover/lean-eval
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: add Mountain Pass theorem eval problem
#361
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Sobolev embedding theorem (Morrey regime) eval problem
#360
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Hardy–Littlewood prime-race sign-change eval problem
#359
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add stable/unstable manifolds (Hadamard–Perron) eval problem
#358
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add seventeen wallpaper groups eval problem
#356
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Halmos generic weak-mixing theorem eval problem
#355
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Anosov–Bowen shadowing lemma eval problem
#354
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Whitney embedding theorem (strong form, dimension 2n) eval problem
#353
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Wigner semicircle law eval problem
#352
opened May 29, 2026 by
kim-em
Collaborator
Loading…
feat: add Kepler conjecture (sphere packing in ℝ³) eval problem
#351
opened May 29, 2026 by
kim-em
Collaborator
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…
feat(Geometry): Mostow rigidity, algebraic form
#140
opened May 6, 2026 by
alreadydone
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.