verify Ix.Tc checking and inductive ingress - #532

verify Ix.Tc checking and inductive ingress#532

johnchandlerburnham merged 2 commits into

mainargumentcomputer/ix:mainfrom

jcb/ix-formalization2argumentcomputer/ix:jcb/ix-formalization2Copy head branch name to clipboard