vein.git/cmds.tex, branch thesis
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=thesis
2026-06-26T07:57:03+00:00
refined core
2026-06-26T07:57:03+00:00
ericmarin
maarin.eric@gmail.com
2026-06-19T10:39:13+00:00
urn:sha1:d3e761a2286d04a3c0005b199653df2f6501f070