block17_counts.tex
Stratified Universality
block17_counts.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 % Generated by verify_block17_semantic_extension.py
2 \newcommand{\BlockSeventeenValidationAssertions}{3,022}
3 \newcommand{\BlockSeventeenValidationFailures}{0}
4 \newcommand{\BlockSeventeenSemanticTrials}{1,000}
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: 40111972c809b78cca41d8b5fd2052893f45a7c31eb00db6106620954784b738