Skip to content

Pull requests: DomTheDeveloper/ProofPlaygrond

New pull request New
21 Open 97 Closed
21 Open 97 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

Verify A317940 initial values
#119 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
Targeted audits for consolidated research tracker
#118 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
Reproduce A263135 documentation failure
#117 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
Audit Erdős 545 literal counterexamples
#116 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
Run exact W(3,20) upper semantic audit
#113 opened Jul 24, 2026 by DomTheDeveloper Owner • Draft
Audit final Geode5 theorem
#103 opened Jul 23, 2026 by DomTheDeveloper Owner Loading…
2
Prove restricted-run tableaux Conjecture 2a
#85 opened Jul 23, 2026 by DomTheDeveloper Owner • Draft
Develop a no-sorry proof of the five-dimensional Geode value
#81 opened Jul 23, 2026 by DomTheDeveloper Owner Loading…
Develop pure-kernel proof of Chomp 10×42
#80 opened Jul 23, 2026 by DomTheDeveloper Owner Loading…
Focused audit: repaired checkerboard n6 arithmetic certificate
#58 opened Jul 23, 2026 by DomTheDeveloper Owner • Draft
Final kernel audit of A261865 at ca4f6491
#41 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Exact audit for fork-compatible A261865 b7b7bdab
#40 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Final kernel audit of solved A261865 at 441ced8a
#39 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Final exact audit for A261865 d149fdf9
#38 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Final kernel audit of A261865 at 1470a19b
#37 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Final wrapper audit for A261865 441ced8a
#36 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Capture A261865 AXLE diagnostics for f5d289e
#23 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Final audit of repaired A261865 proof f5d289e
#21 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Final audit of repaired A261865 proof 46ea2471
#20 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Diagnose A261865 AXLE failure concisely
#17 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
Audit A261865 proof commit 02688846
#5 opened Jul 22, 2026 by DomTheDeveloper Owner • Draft
4
ProTip! no:milestone will show everything without a milestone.