Realization Calculus: twin edition

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

1 % Fresh integrated verification totals for publication v1.15.0.
2 \newcommand{\EditionProductionModules}{162}
3 \newcommand{\EditionRoots}{4}
4 \newcommand{\EditionTargets}{166}
5 \newcommand{\EditionTheorems}{1,859}
6 \newcommand{\EditionDeclarations}{5,339}
7 \newcommand{\EditionControls}{56}
8 \newcommand{\EditionPositiveControls}{18}
9 \newcommand{\EditionNegativeControls}{35}
10 \newcommand{\EditionPolicyControls}{3}
11 \newcommand{\EditionVerifiedGroups}{16}
12 \newcommand{\EditionWrittenGroups}{0}
13 \newcommand{\EditionPrincipalGroups}{16}
14 \newcommand{\EditionSelectedMapEntries}{114}
15 \newcommand{\EditionEntrypoints}{\EditionRoots}
16 \newcommand{\EditionExplicitTheorems}{\EditionTheorems}
17 \newcommand{\EditionExportedDeclarations}{\EditionDeclarations}

Back to source controls

Back to Realization Calculus: twin edition