formalization: totalize Ix.Tc and extend soundness proofs through WHNF K1h#521

johnchandlerburnham merged 1 commit into

mainargumentcomputer/ix:mainfrom

jcb/formalizationargumentcomputer/ix:jcb/formalizationCopy head branch name to clipboard