docs(formalization.yaml): cite Maynard Theorem 1.3 for the 600 bound - #8
Open
morluto wants to merge 1 commit into
Open
docs(formalization.yaml): cite Maynard Theorem 1.3 for the 600 bound#8morluto wants to merge 1 commit into
morluto wants to merge 1 commit into
