Skip to content

Pull requests: DomTheDeveloper/formal-conjectures

New pull request New
46 Open 249 Closed
46 Open 249 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

Audit latest-main A100434 upstream candidate oeis
#292 opened Jul 27, 2026 by DomTheDeveloper Owner • Draft
1
Replay Wolstenholme's theorem on current Lean
#291 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Replay the Erdős 828 totient-divisibility classification
#290 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Replay the Erdős 12 prime-square good-set proof
#289 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Kernel-prove the classical Euler brick witness wikipedia
#288 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Replay the A080170 gcd/prime-power equivalence proof
#287 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Prove the first five A317940 values oeis
#286 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
1
Audit the exact one-dimensional Erdős 1084 value
#285 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Audit the explicit nine-point Erdős 100 construction
#284 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Kernel-prove the weak Giuga prime-divisor criterion wikipedia
#283 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Audit immutable qubit and qutrit SIC proofs
#278 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Experiment: encode the five-vertex Erdős 23 case erdos-problems
#276 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Kernel-prove the base van der Waerden values erdos-problems
#275 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Kernel-prove the exact value M(2)=1 erdos-problems
#274 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Kernel-prove the larger unitary-perfect examples erdos-problems
#273 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Expose the tautological answer in Erdős 633 erdos-problems
#269 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Expose the vacuous answer in Erdős 332 erdos-problems
#268 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Audit missing positivity assumptions in Lander–Parkin–Selfridge wikipedia
#267 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Prove the dimension-2 and dimension-3 SIC-POVM benchmarks ci:full
#266 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
4
Audit Dedekind answer gap and moving-sofa misformalization ci:full
#265 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Disprove literal moving-sofa uniqueness statement wikipedia
#264 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Prove literal Dedekind formula declaration wikipedia
#263 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
Develop CRT obstruction for Erdős Problem 7 erdos-problems
#262 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
1
Develop parametric families for A280831 oeis
#261 opened Jul 26, 2026 by DomTheDeveloper Owner Loading…
1
Audit current-main nonlinear Voronovskaja submission
#259 opened Jul 26, 2026 by DomTheDeveloper Owner • Draft
1
ProTip! Add no:assignee to see everything that’s not assigned.