vein.git - VEIN: VErification via Interaction Nets

	Commit message (Expand)	Author	Files	Lines
2026-06-26	using official template + fixing language errorsthesis	ericmarin	2	-8/+8
2026-06-26	refinement	ericmarin	16	-183/+254
2026-06-26	related work + conclusion	ericmarin	7	-48/+204
2026-06-26	background	ericmarin	5	-24/+248
2026-06-26	refined core	ericmarin	15	-591/+1439
2026-06-26	core	ericmarin	13	-37/+884
2026-06-26	refined introduction	ericmarin	4	-50/+136
2026-06-26	interaction rules subsection 3.1.2	ericmarin	7	-2/+1320
2026-06-26	core chapter skeleton	ericmarin	11	-1/+61
2026-06-26	introduction	ericmarin	1	-10/+45