vein.git - VEIN: VErification via Interaction Nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	refinement	ericmarin	2026-06-26	8	-129/+176
\|
*	related work + conclusion	ericmarin	2026-06-26	2	-42/+59
\|
*	refined core	ericmarin	2026-06-26	9	-583/+1117
\|
*	core	ericmarin	2026-06-26	10	-28/+870
\|
*	refined introduction	ericmarin	2026-06-26	1	-5/+20
\|
*	interaction rules subsection 3.1.2	ericmarin	2026-06-26	2	-1/+827
\|
*	core chapter skeleton	ericmarin	2026-06-26	10	-0/+56