SOL -

	Commit message (Collapse)	Author	Age	Files	Lines
*	algebraic identities of plus and times discharge symbolically	Marcos Magueta	2026-07-12	1	-2/+49
\|
*	symbolic discharge: universals over infinite domains decided by intervals	Marcos Magueta	2026-07-12	1	-6/+233
\|
*	interval propagation: contradictions fail, finite ranges enumerate	Marcos Magueta	2026-07-11	1	-10/+185
\|
*	mutual recursion admitted under lexicographic measures	Marcos Magueta	2026-07-11	3	-75/+159
\|
*	world relation as the universe for scoped negation	Marcos Magueta	2026-07-11	1	-0/+4
\|
*	residuation: open membership returns residual constraints	Marcos Magueta	2026-07-11	3	-44/+138
\|
*	admission runs the containment checker extracted from rocq	Marcos Magueta	2026-07-11	3	-6/+52
\|
*	embedding surface, host world test, deep recursion, line tracking	Marcos Magueta	2026-07-11	2	-1/+9
\|
*	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	2026-07-11	8	-74/+342
\|
*	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2026-07-11	14	-0/+1259
\|
*	canonical term algebra: labels, records, rationals, sequences	Marcos Magueta	2026-07-11	5	-0/+228