vein.git/nneq.py, branch master VEIN: VErification via Interaction Nets http://git.ericmarin.dev/vein.git/atom?h=master 2026-04-09T13:36:02+00:00 changed name 2026-04-09T13:36:02+00:00 ericmarin maarin.eric@gmail.com 2026-04-08T12:58:51+00:00 urn:sha1:9fb816496d392638fa6981e71800466d71434680 added ONNX Add and ONNX Sub 2026-03-31T14:43:27+00:00 ericmarin maarin.eric@gmail.com 2026-03-31T09:14:57+00:00 urn:sha1:d1b25fbde6b01529fd1bcfdd5778b6cb378eb865 completed proof 2026-03-30T14:56:37+00:00 ericmarin maarin.eric@gmail.com 2026-03-28T15:26:27+00:00 urn:sha1:dbfc224384cd38b26c3e32d4c4dd8be7bb6d5bdc added LICENSE 2026-03-26T20:27:10+00:00 ericmarin maarin.eric@gmail.com 2026-03-26T19:28:38+00:00 urn:sha1:3e338c3be65638ef1898c32c707c50422acafb18 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 added MatMul and Flatten. Now Inpla produces a balanced tree of TermAdd 2026-03-21T12:08:17+00:00 ericmarin maarin.eric@gmail.com 2026-03-21T12:08:17+00:00 urn:sha1:4a9b66faae8bf362849b961ac2bf5dedc079c6ce created class 2026-03-21T11:00:16+00:00 ericmarin maarin.eric@gmail.com 2026-03-21T10:47:40+00:00 urn:sha1:e2abe9d9ec649b849cc39b516c1db1b4fa592003