vein.git/chapters/core/soundness-proof, 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 refined core 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-06-19T10:39:13+00:00 urn:sha1:d3e761a2286d04a3c0005b199653df2f6501f070 core 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-06-07T16:43:30+00:00 urn:sha1:8eb2ce59ae307984a5b40a05cefec1f7e112fb02 core chapter skeleton 2026-06-26T07:57:03+00:00 ericmarin maarin.eric@gmail.com 2026-05-05T08:52:37+00:00 urn:sha1:a3411c1561690d13e376498a5f560abf2ca2c371