SOL -

	Commit message (Collapse)	Author	Age	Files	Lines
*	lexicographic order proven well founded, checker extracted and verifying ↵	Marcos Magueta	2026-07-12	1	-0/+0
\| \| \| \|	admission
*	rocq proof: structural decrease is well founded	Marcos Magueta	2026-07-11	1	-0/+0