vein.git/examples/xor, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-04-01T13:08:27+00:00
refactored examples
2026-04-01T13:08:27+00:00
ericmarin
maarin.eric@gmail.com
2026-03-31T14:43:47+00:00
urn:sha1:81d4d604aa43660b732b3538734a52d509d7c5df
added LICENSE
2026-03-26T20:27:10+00:00
ericmarin
maarin.eric@gmail.com
2026-03-26T19:28:38+00:00
urn:sha1:3e338c3be65638ef1898c32c707c50422acafb18