vein.git - VEIN: VErification via Interaction Nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	linear folding	ericmarin	2026-03-09	4	-114/+112
\|
*	a	ericmarin	2026-03-09	2	-0/+150