SOL -

	Commit message (Collapse)	Author	Files	Lines
2026-07-12	relation references as a term kind, written #Name	Marcos Magueta	1	-1/+2

2026-07-12	branch world: state scoped reads, insert transitions, tip commit	Marcos Magueta	1	-2/+8

2026-07-12	lexicographic order proven well founded, checker extracted and verifying ↵	Marcos Magueta	1	-0/+21
	admission
2026-07-11	mutual recursion admitted under lexicographic measures	Marcos Magueta	1	-67/+149

2026-07-11	negation, quantifiers and membership criteria as schema domains	Marcos Magueta	1	-34/+158

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