vein.git/examples/mnist/mnist_epsilon.smtlib, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-06-10T12:28:22+00:00
balanced fanout
2026-06-10T12:28:22+00:00
ericmarin
maarin.eric@gmail.com
2026-06-05T14:40:44+00:00
urn:sha1:d85de781b4a825fe0d1217e1e8ae5ec81dd70202