vein.git/chapters/core/soundness-proof/02-soundness-of-translation.tex, branch thesis

vein.git/chapters/core/soundness-proof/02-soundness-of-translation.tex, branch thesis VEIN: VErification via Interaction Nets http://git.ericmarin.dev/vein.git/atom?h=thesis 2026-05-05T08:57:47+00:00 core chapter skeleton 2026-05-05T08:57:47+00:00 ericmarin maarin.eric@gmail.com 2026-05-05T08:52:37+00:00 urn:sha1:00439f8eacc04bee31dad6cb476d6f23f0b868dd