vein.git/nneq, branch master VEIN: VErification via Interaction Nets http://git.mirenn.dev/vein.git/atom?h=master 2026-03-21T11:00:16+00:00 created class 2026-03-21T11:00:16+00:00 mirenn me@mirenn.dev 2026-03-21T10:47:40+00:00 urn:sha1:e969ba61e099fb699418cbef75e47c84dd6f90c0 changed eval() for a proper parser. Now it also handles multiple outputs 2026-03-18T16:47:15+00:00 mirenn me@mirenn.dev 2026-03-18T15:43:01+00:00 urn:sha1:27c68538a92ef86b88c94e43b8d92b0fe535a3fa added proof for ONNX translation 2026-03-18T12:18:40+00:00 mirenn me@mirenn.dev 2026-03-17T17:59:35+00:00 urn:sha1:108e61fa874c5bf73e1e54afcc21dfa871f69eaa changed torch.fx to ONNX 2026-03-17T16:27:47+00:00 mirenn me@mirenn.dev 2026-03-16T18:36:31+00:00 urn:sha1:8ee89e44069d6e35da8775d8394bc2b927971c1a defined modules 2026-03-16T09:23:02+00:00 mirenn me@mirenn.dev 2026-03-13T15:42:00+00:00 urn:sha1:ccd6f850fda8307b0b92301dcb17a6dea47f981b