vein.git/xor/xor_b.onnx, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-03-25T09:23:07+00:00
added FashionMNIST
2026-03-25T09:23:07+00:00
ericmarin
maarin.eric@gmail.com
2026-03-23T16:53:21+00:00
urn:sha1:689c34076d08e59b1382864f9efcd983c8665ae5
xd
created class
2026-03-21T11:00:16+00:00
ericmarin
maarin.eric@gmail.com
2026-03-21T10:47:40+00:00
urn:sha1:e2abe9d9ec649b849cc39b516c1db1b4fa592003