vein.git - VEIN: VErification via Interaction Nets

Branch	Commit message	Author	Age
master	New ONNX ops and tests	ericmarin	2 days


Age	Commit message	Author	Files	Lines
2 days	New ONNX ops and testsHEAD master	ericmarin	12	-33/+640
3 days	added MNIST, changed cache and parser	ericmarin	19	-230/+147
6 days	changed name	ericmarin	7	-528/+8
2026-04-01	fixed spacing in IF THEN ELSE	ericmarin	1	-10/+10
2026-04-01	refactored examples	ericmarin	29	-83/+646
2026-03-31	added ONNX Add and ONNX Sub	ericmarin	3	-22/+142
2026-03-30	completed proof	ericmarin	10	-510/+10320
2026-03-26	added LICENSE	ericmarin	17	-188/+796
2026-03-25	added FashionMNIST	ericmarin	19	-30/+553
2026-03-21	added MatMul and Flatten. Now Inpla produces a balanced tree of TermAdd	ericmarin	2	-19/+64
[...]

Clone
https://git.ericmarin.dev/vein.git