formalization.yaml: fix minor formatting errors - #4

formalization.yaml: fix minor formatting errors#4

Sidharth Hariharan (thefundamentaltheor3m) merged 4 commits into

mainAxiomMath/PrimeGapsLib:mainfrom

formalization-yaml-editAxiomMath/PrimeGapsLib:formalization-yaml-editCopy head branch name to clipboard