Skip to content

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

Open
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 wants to merge 1 commit into
AxiomMath:mainfrom
morluto:docs/maynard-600-theorem-1-3

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

5d32a03
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs