vein.git/.gitignore, branch master
VEIN: VErification via Interaction Nets
http://git.mirenn.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
mirenn
me@mirenn.dev
2026-04-10T13:06:56+00:00
urn:sha1:abac351e8d68edb45a54eac82e928deb19efda15
changed name
2026-04-09T13:36:02+00:00
mirenn
me@mirenn.dev
2026-04-08T12:58:51+00:00
urn:sha1:5bdcc9d8b1a3fd7be2c7317fcd3819982a67d427
refactored examples
2026-04-01T13:08:27+00:00
mirenn
me@mirenn.dev
2026-03-31T14:43:47+00:00
urn:sha1:d28169f2ed3da94ade0ef800a6dfccaedf71f519
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
defined modules
2026-03-16T09:23:02+00:00
mirenn
me@mirenn.dev
2026-03-13T15:42:00+00:00
urn:sha1:ccd6f850fda8307b0b92301dcb17a6dea47f981b