SOL -

	Commit message (Collapse)	Author	Age	Files	Lines
*	branch world: state scoped reads, insert transitions, tip commit	Marcos Magueta	2026-07-12	1	-3/+44
\|
*	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	1	-3/+3
\|
*	residuation: open membership returns residual constraints	Marcos Magueta	2026-07-11	1	-37/+106
\|
*	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	2026-07-11	1	-30/+76
\|
*	working vm: parser, admission with totality checks, solver and repl	Marcos Magueta	2026-07-11	1	-0/+156