SOL -

Branch	Commit message	Author	Age
master	delete backup file	Marcos Magueta	3 months


Age	Commit message	Author	Files	Lines
2026-07-23	delete backup fileHEAD master	Marcos Magueta	1	-29/+0
2026-07-13	add gplv3	Marcos Magueta	1	-0/+674
2026-07-12	repl output drops uninformative self bindings	Marcos Magueta	1	-1/+9
2026-07-12	repl session commands: load, reset, quit; emacs load-file binding	Marcos Magueta	4	-27/+101
2026-07-12	lsp gains hover, definition and completion from a text-level symbol scan	Marcos Magueta	4	-28/+364
2026-07-12	language server over stdio, emacs mode with repl and eglot wiring	Marcos Magueta	12	-12/+589
2026-07-12	package build carries menhir and rocq, docs completeness pass	Marcos Magueta	4	-1/+25
2026-07-12	relation references as a term kind, written #Name	Marcos Magueta	15	-18/+156
2026-07-12	interval characterization proofs and worked examples	Marcos Magueta	10	-2/+323
2026-07-12	branch world: state scoped reads, insert transitions, tip commit	Marcos Magueta	10	-18/+523
[...]

Clone
git@src.symbolic.engineering:SOL.git