vein.git/chapters/05-conclusion.tex, branch thesis
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=thesis
2026-04-28T15:58:05+00:00
thesis structure
2026-04-28T15:58:05+00:00
ericmarin
maarin.eric@gmail.com
2026-03-09T14:15:41+00:00
urn:sha1:7784e295a14a957e3e04cf2de7b6f4be0247992b