Skip to content

Pull requests: leanprover/lean-eval

New pull request New
44 Open 86 Closed
44 Open 86 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 Schauder fixed-point theorem eval problem
#316 opened May 24, 2026 by kim-em Collaborator Loading…
feat: add Fitting's theorem eval problem
#315 opened May 24, 2026 by kim-em Collaborator Loading…
feat: add Gorenstein-Walter theorem eval problem
#314 opened May 24, 2026 by kim-em Collaborator Loading…
feat: add Brauer-Suzuki theorem eval problem
#313 opened May 24, 2026 by kim-em Collaborator Loading…
feat: add Baer-Suzuki theorem eval problem
#311 opened May 24, 2026 by kim-em Collaborator Loading…
feat: add Ornstein–Weiss ℤᵈ Rokhlin lemma eval problem
#309 opened May 24, 2026 by kim-em Collaborator Loading…
feat: add Rokhlin lemma eval problem
#308 opened May 24, 2026 by kim-em Collaborator Loading…
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…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.