verification_counts.tex
Realization Boundaries
verification_counts.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \newcommand{\BaseAssertions}{114,738}
2 \newcommand{\ExtraAssertions}{53,284}
3 \newcommand{\ReleaseAssertions}{21,047}
4 \newcommand{\AllAssertions}{189,069}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 37adb098b7c0410f192043ae10b2dea3b16499f20773b53498ddf4e5781b8cb9