vein.git/chapters/background, 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 refinement 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-06-21T22:43:45+00:00 urn:sha1:11f14a4763533dbc24b0e98d115071036025d4f6 related work + conclusion 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-06-21T13:38:35+00:00 urn:sha1:dbdd3ea807232b0be83d6a0eba9eb13011eb48e5 background 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-06-19T20:57:09+00:00 urn:sha1:8d082714a1544de0c93f1963738b0db0e114df65 thesis structure 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-03-09T14:15:41+00:00 urn:sha1:6d4f1e541e5e630359bcb640fb37a64e6ec2f438