SOL -

	Commit message (Collapse)	Author	Files	Lines
2026-07-11	admission runs the containment checker extracted from rocq	Marcos Magueta	1	-6/+34

2026-07-11	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	1	-0/+140