vein.git/proof.md, 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 fixed spacing in IF THEN ELSE 2026-04-01T14:20:32+00:00 ericmarin maarin.eric@gmail.com 2026-04-01T14:20:32+00:00 urn:sha1:d48822e9aa91903e77a1496ef559cd42d09ad6d0 refactored examples 2026-04-01T13:08:27+00:00 ericmarin maarin.eric@gmail.com 2026-03-31T14:43:47+00:00 urn:sha1:81d4d604aa43660b732b3538734a52d509d7c5df 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