vein.git/marin_eric_Computer_Science_2026.tex, branch thesis VEIN: VErification via Interaction Nets http://git.ericmarin.dev/vein.git/atom?h=thesis 2026-06-26T14:47:32+00:00 using official template + fixing language errors 2026-06-26T14:47:32+00:00 ericmarin maarin.eric@gmail.com 2026-06-23T13:26:01+00:00 urn:sha1:a8bb7736e2e86963bd5761cc05079447abeeaba6