vein.git - VEIN: VErification via Interaction Nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	changed to float	mirenn	2026-03-12	4	-86/+84
\|
*	added constraint to prover	mirenn	2026-03-11	2	-2/+18
\|
*	added scale	mirenn	2026-03-10	3	-41/+44
\|
*	two nets	mirenn	2026-03-10	3	-40/+117
\|
*	added MLP	mirenn	2026-03-10	3	-35/+266
\|
*	added prover script	mirenn	2026-03-10	4	-87/+112
\|
*	linear folding	mirenn	2026-03-09	4	-114/+112
\|
*	a	mirenn	2026-03-09	2	-0/+150