vein.git/test.smt2, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-03-10T11:05:35+00:00
added prover script
2026-03-10T11:05:35+00:00
ericmarin
maarin.eric@gmail.com
2026-03-10T10:05:26+00:00
urn:sha1:7933d744e06337f1d69b7da83f2cee1611556097
linear folding
2026-03-09T19:00:47+00:00
ericmarin
maarin.eric@gmail.com
2026-03-09T17:18:34+00:00
urn:sha1:51cd389b4e322313671dd0e53513ce84b72a1652