vein.git/chapters/core/03-benchmarks.tex, branch thesis
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=thesis
2026-05-07T15:08:23+00:00
interaction rules subsection 3.1.2
2026-05-07T15:08:23+00:00
ericmarin
maarin.eric@gmail.com
2026-05-06T17:31:37+00:00
urn:sha1:66857fcce9159e98ec777a781d8b13b4f37c021d