SOL -

	Commit message (Expand)	Author	Files	Lines
2026-07-12	interval characterization proofs and worked examples	Marcos Magueta	2	-1/+88
2026-07-12	lexicographic order proven well founded, checker extracted and verifying admi...	Marcos Magueta	5	-1/+121
2026-07-11	admission runs the containment checker extracted from rocq	Marcos Magueta	2	-3/+128
2026-07-11	rocq proof: structural decrease is well founded	Marcos Magueta	5	-0/+74