All pull requests

Pull requests

• Verify A317940 initial values

  #119·DomTheDeveloper opened Jul 26, 2026Owner·

  ·

• Targeted audits for consolidated research tracker

  #118·DomTheDeveloper opened Jul 26, 2026Owner·

  ·

• Reproduce A263135 documentation failure

  #117·DomTheDeveloper opened Jul 26, 2026Owner·

  ·

• Audit Erdős 545 literal counterexamples

  #116·DomTheDeveloper opened Jul 26, 2026Owner·

  ·

• Run exact W(3,20) upper semantic audit

  #113·DomTheDeveloper opened Jul 24, 2026Owner·

  ·

• Audit final Geode5 theorem

  #103·DomTheDeveloper opened Jul 23, 2026Owner·

  ·
  2

• Prove restricted-run tableaux Conjecture 2a

  #85·DomTheDeveloper opened Jul 23, 2026Owner·

  ·

• Develop a no-sorry proof of the five-dimensional Geode value

  #81·DomTheDeveloper opened Jul 23, 2026Owner·

  ·

• Develop pure-kernel proof of Chomp 10×42

  #80·DomTheDeveloper opened Jul 23, 2026Owner·

  ·

• Focused audit: repaired checkerboard n6 arithmetic certificate

  #58·DomTheDeveloper opened Jul 23, 2026Owner·

  ·

• Final kernel audit of A261865 at ca4f6491

  #41·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Exact audit for fork-compatible A261865 b7b7bdab

  #40·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Final kernel audit of solved A261865 at 441ced8a

  #39·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Final exact audit for A261865 d149fdf9

  #38·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Final kernel audit of A261865 at 1470a19b

  #37·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Final wrapper audit for A261865 441ced8a

  #36·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Capture A261865 AXLE diagnostics for f5d289e

  #23·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Final audit of repaired A261865 proof f5d289e

  #21·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Final audit of repaired A261865 proof 46ea2471

  #20·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Diagnose A261865 AXLE failure concisely

  #17·DomTheDeveloper opened Jul 22, 2026Owner·

  ·

• Audit A261865 proof commit 02688846

  #5·DomTheDeveloper opened Jul 22, 2026Owner·

  ·
  4