{"resolver":[{"id":"gi:proof:s437","page":"https://geometryintelligence.institute/proofs/s437/","doi":"https://doi.org/10.5281/zenodo.23448690","wikidata":"https://www.wikidata.org/wiki/Q141761720","repo_at_sha":"https://github.com/kts-global/lean-proofs-public/tree/3ccc9f72e7038a6a990a2d21b9305c2787f24b21"},{"id":"gi:proof:r2r3","page":"https://geometryintelligence.institute/proofs/r2-r3/","doi":"https://doi.org/10.5281/zenodo.23535805","wikidata":"https://www.wikidata.org/wiki/Q141803373","repo_at_sha":"https://github.com/kts-global/lean-proofs-public/tree/3ccc9f72e7038a6a990a2d21b9305c2787f24b21"},{"id":"gi:proof:nscd","page":"https://geometryintelligence.institute/proofs/navier-stokes-cd/","doi":null,"wikidata":null,"repo_at_sha":"https://github.com/kts-global/lean-proofs-navier-stokes-cd/tree/9f3df6786654ffdcfd87e9d324b58f924e60f7c6"},{"id":"gi:proof:tao-shortbound","page":"https://geometryintelligence.institute/proofs/tao-shortbound/","doi":null,"wikidata":null,"repo_at_sha":"https://github.com/kts-global/lean-proofs-tao-shortbound-global-regularity/tree/952d19cdaf3b33f27cd23e322607c18cd20b7fc3"}]}