Skip to content

docs(formalization.yaml): cite Maynard Theorem 1.3 for the 600 bound - #8

Open
morluto (morluto) wants to merge 1 commit into
AxiomMath:mainfrom
morluto:docs/maynard-600-theorem-1-3
Open

docs(formalization.yaml): cite Maynard Theorem 1.3 for the 600 bound#8
morluto (morluto) wants to merge 1 commit into
AxiomMath:mainfrom
morluto:docs/maynard-600-theorem-1-3

Commits

  1. Commits on Aug 24, 2026