vein.git/fashion_mnist, branch master
VEIN: VErification via Interaction Nets
http://git.mirenn.dev/vein.git/atom?h=master
2026-03-26T20:27:10+00:00
added LICENSE
2026-03-26T20:27:10+00:00
mirenn
me@mirenn.dev
2026-03-26T19:28:38+00:00
urn:sha1:3414dd9a6a412e5e87b19daef6b1c9ab630c749d
added FashionMNIST
2026-03-25T09:23:07+00:00
mirenn
me@mirenn.dev
2026-03-23T16:53:21+00:00
urn:sha1:2858539772fafe11b09eb4ea4eafed9d2b2e1905
xd