[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"ILE2gFj6aW":3},"# PrimeNumberTheoremAnd\n\nThis is a temporary local fork of https://github.com/AlexKontorovich/PrimeNumberTheoremAnd by Alex Kontorovich et al. It only serves the following purposes:\n1. Bumped to a version needed for other repos.\n2. Upgraded to use the module system. (As a result, LeanCert and PrimeCert dependencies are cut out.)\n3. Sorries are removed, while making sure the PNT itself stays.\n\nWe will use Alex Kontorovich et al.'s main repo as soon as they fulfill the three criteria above.\n",1790445563372]