vein.git - VEIN: VErification via Interaction Nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	using official template + fixing language errorsthesis	ericmarin	2026-06-26	17	-134/+138
\|
*	refinement	ericmarin	2026-06-26	15	-179/+241
\|
*	related work + conclusion	ericmarin	2026-06-26	6	-47/+127
\|
*	background	ericmarin	2026-06-26	4	-4/+218
\|
*	refined core	ericmarin	2026-06-26	11	-585/+1119
\|
*	core	ericmarin	2026-06-26	12	-37/+880
\|
*	refined introduction	ericmarin	2026-06-26	2	-49/+103
\|
*	interaction rules subsection 3.1.2	ericmarin	2026-06-26	4	-2/+830
\|
*	core chapter skeleton	ericmarin	2026-06-26	11	-1/+61
\|
*	introduction	ericmarin	2026-06-26	1	-10/+45
\| \| \| \| \| \| \| \| \|	Initial draft for: - Context - Problem - Solution - Validation - Outline
*	thesis structure	ericmarin	2026-06-26	8	-0/+66