SOL -

	Commit message (Collapse)	Author	Files	Lines
2026-07-12	lsp gains hover, definition and completion from a text-level symbol scan	Marcos Magueta	1	-0/+3

2026-07-12	language server over stdio, emacs mode with repl and eglot wiring	Marcos Magueta	2	-10/+34

2026-07-12	relation references as a term kind, written #Name	Marcos Magueta	10	-5/+42

2026-07-12	branch world: state scoped reads, insert transitions, tip commit	Marcos Magueta	5	-9/+291

2026-07-12	lexicographic order proven well founded, checker extracted and verifying ↵	Marcos Magueta	4	-3/+36
	admission
2026-07-12	algebraic identities of plus and times discharge symbolically	Marcos Magueta	1	-2/+49

2026-07-12	symbolic discharge: universals over infinite domains decided by intervals	Marcos Magueta	1	-6/+233

2026-07-11	interval propagation: contradictions fail, finite ranges enumerate	Marcos Magueta	1	-10/+185

2026-07-11	mutual recursion admitted under lexicographic measures	Marcos Magueta	3	-75/+159

2026-07-11	world relation as the universe for scoped negation	Marcos Magueta	1	-0/+4

2026-07-11	residuation: open membership returns residual constraints	Marcos Magueta	3	-44/+138

2026-07-11	admission runs the containment checker extracted from rocq	Marcos Magueta	3	-6/+52

2026-07-11	embedding surface, host world test, deep recursion, line tracking	Marcos Magueta	2	-1/+9

2026-07-11	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	8	-74/+342

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

2026-07-11	canonical term algebra: labels, records, rationals, sequences	Marcos Magueta	5	-0/+228