vein.git - VEIN: VErification via Interaction Nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	using official template + fixing language errorsthesis	ericmarin	2026-06-26	22	-202/+382
\|
*	refinement	ericmarin	2026-06-26	16	-183/+254
\|
*	related work + conclusion	ericmarin	2026-06-26	7	-48/+204
\|
*	background	ericmarin	2026-06-26	5	-24/+248
\|
*	refined core	ericmarin	2026-06-26	15	-591/+1439
\|
*	core	ericmarin	2026-06-26	13	-37/+884
\|
*	refined introduction	ericmarin	2026-06-26	4	-50/+136
\|
*	interaction rules subsection 3.1.2	ericmarin	2026-06-26	7	-2/+1320
\|
*	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	10	-0/+114