vein.git - VEIN: VErification via Interaction Nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	using official template + fixing language errorsthesis	ericmarin	2026-06-26	4	-44/+44
\|
*	refinement	ericmarin	2026-06-26	4	-13/+14
\|
*	refined core	ericmarin	2026-06-26	3	-69/+92
\|
*	core	ericmarin	2026-06-26	4	-22/+250
\|
*	refined introduction	ericmarin	2026-06-26	1	-5/+20
\|
*	interaction rules subsection 3.1.2	ericmarin	2026-06-26	1	-1/+823
\|
*	core chapter skeleton	ericmarin	2026-06-26	4	-0/+16