Skip to content

Pull requests: leanprover/lean-eval

New pull request New
37 Open 84 Closed
37 Open 84 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: add Jordan–Brouwer separation eval problem
#307 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Schoenflies theorem eval problem
#306 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Jordan curve theorem eval problem
#305 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Liouville–Arnold eval problem
#304 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Schläfli classification eval problem
#303 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Platonic classification eval problem
#302 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add weak Morse inequalities eval problem
#301 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Morse inequalities eval problem
#300 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Koszul formula eval problem
#299 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add fundamental theorem of Riemannian geometry (Levi-Civita) eval problem
#298 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Feit-Thompson odd-order theorem eval problem
#297 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add generalized topological Poincaré in dim ≥ 5 (Smale) eval problem
#296 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add 4D topological Poincaré conjecture (Freedman) eval problem
#295 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add 3D smooth Poincaré conjecture (Perelman) eval problem
#294 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add 3D topological Poincaré conjecture (Perelman) eval problem
#293 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Milnor's exotic 7-sphere eval problem
#292 opened May 23, 2026 by kim-em Collaborator Loading…
feat: add Lidskii's inequality eval problem
#291 opened May 21, 2026 by kim-em Collaborator Loading…
feat: add Nash equilibrium existence theorem eval problem
#289 opened May 21, 2026 by kim-em Collaborator Loading…
feat: add Darboux's theorem eval problem
#288 opened May 21, 2026 by kim-em Collaborator Loading…
feat: add Kakutani fixed-point theorem eval problem
#287 opened May 21, 2026 by kim-em Collaborator Loading…
feat: add Brouwer fixed-point theorem eval problem
#286 opened May 21, 2026 by kim-em Collaborator Loading…
feat: add Szemerédi's theorem eval problem
#285 opened May 21, 2026 by kim-em Collaborator Loading…
1
feat: add Green-Tao theorem eval problem
#284 opened May 21, 2026 by kim-em Collaborator Loading…
1
feat: add symplectic matrices have determinant 1 eval problem
#283 opened May 21, 2026 by kim-em Collaborator Loading…
feat: add Hadwiger's theorem eval problem
#275 opened May 19, 2026 by kim-em Collaborator Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.