Skip to content

Pull requests: rjwalters/lean-genius

New pull request New
10 Open 21,599 Closed
10 Open 21,599 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

repro(tailwind-scan-hang): synthetic fixture for #21009 — NEGATIVE baseline, blocked
#22613 opened Jun 8, 2026 by rjwalters Owner Loading…
6 of 11 tasks
audit(cayley-hamilton-minpoly-oq-03-oq-02): tracker bump — clean
#22598 opened Jun 6, 2026 by rjwalters Owner Loading…
audit(inverse-galois): tracker bump — clean (8th audit)
#22597 opened Jun 6, 2026 by rjwalters Owner Loading…
4 tasks done
Enrich abel-ruffini: cross-ref characteristic-p natDegree_dvd_card (OQ#6 progress) enrichment Gallery proof enrichment
#22411 opened Jun 5, 2026 by rjwalters Owner Loading…
3 tasks done
Enrich abel-ruffini-galois-extensions: deepen Abel 1824 + Galois 1846 reference notes enrichment Gallery proof enrichment
#22404 opened Jun 5, 2026 by rjwalters Owner Loading…
3 tasks done
research(roth-theorem-k3-oq-01-incomplete-01): S4 ACT REPAIR — four-fix surgical repair (DRAFT, Docker-verification BLOCKED) research Research agent work
#22075 opened Jun 2, 2026 by rjwalters Owner • Draft
Enrich abel-ruffini-galois-extensions-oq-05: Jordan-Hoelder + Chebotarev cross-refs enrichment Gallery proof enrichment
#21503 opened May 31, 2026 by rjwalters Owner Loading…
research(cantor-diagonalization-oq-01-oq-01-oq-02-oq-01): S6 — Easton-function closure under pointwise binary max (build pending) research Research agent work
#17137 opened May 8, 2026 by rjwalters Owner • Draft
4 tasks
research(cantor-diagonalization-oq-04-oq-01): S2 — trivial setoid + refinement-descent (build pending) research Research agent work
#17030 opened May 8, 2026 by rjwalters Owner • Draft
3 tasks
research(cantor-diagonalization-oq-01-oq-01-oq-02-oq-01): S5 — Easton non-examples + lt_apply corollary research Research agent work
#16936 opened May 8, 2026 by rjwalters Owner • Draft
3 tasks
1
ProTip! Adding no:label will show everything without a label.