vein.git/examples/verify.py, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-04-13T08:55:06+00:00
added MNIST, changed cache and parser
2026-04-13T08:55:06+00:00
ericmarin
maarin.eric@gmail.com
2026-04-10T13:06:56+00:00
urn:sha1:8f4f24523235965cfa2041ed00cc40fc0b4bd367
changed name
2026-04-09T13:36:02+00:00
ericmarin
maarin.eric@gmail.com
2026-04-08T12:58:51+00:00
urn:sha1:9fb816496d392638fa6981e71800466d71434680
refactored examples
2026-04-01T13:08:27+00:00
ericmarin
maarin.eric@gmail.com
2026-03-31T14:43:47+00:00
urn:sha1:81d4d604aa43660b732b3538734a52d509d7c5df