itcs-reproducibility
brycewang-stanford/Awesome-Journal-Skills
This guide outlines the standards for making pure theoretical claims independently verifiable. It demands complete, self-contained proofs for all central lemmas, explicit definitions for every symbol, and precise citation for all borrowed results. It ensures that the submitted paper, the full preprint version, and the mathematical arguments are perfectly consistent, addressing the highest level of academic rigor in theoretical computer science.