SOL -

	Commit message (Expand)	Author	Files	Lines
2026-07-12	algebraic identities of plus and times discharge symbolically	Marcos Magueta	1	-0/+16
2026-07-12	symbolic discharge: universals over infinite domains decided by intervals	Marcos Magueta	1	-5/+49
2026-07-11	interval propagation: contradictions fail, finite ranges enumerate	Marcos Magueta	1	-0/+32
2026-07-11	mutual recursion admitted under lexicographic measures	Marcos Magueta	1	-4/+44
2026-07-11	world relation as the universe for scoped negation	Marcos Magueta	1	-0/+8
2026-07-11	residuation: open membership returns residual constraints	Marcos Magueta	1	-8/+35
2026-07-11	admission runs the containment checker extracted from rocq	Marcos Magueta	1	-0/+15
2026-07-11	embedding surface, host world test, deep recursion, line tracking	Marcos Magueta	1	-0/+11
2026-07-11	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	1	-3/+131
2026-07-11	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	1	-0/+200