SOL/examples, branch master delete backup file 2026-07-23T04:14:26+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-23T04:14:26+00:00 1dbc5220b40605457ce590dc7aabb67bae9cd342 






repl session commands: load, reset, quit; emacs load-file binding
2026-07-12T21:52:52+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T21:52:52+00:00

90cb51a907a0f78b83cb66f497f6dc0f24f01706












lsp gains hover, definition and completion from a text-level symbol scan
2026-07-12T21:43:23+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T21:43:23+00:00

19ba625e0345a88da6c29ab91a3ba2d7a8462065












package build carries menhir and rocq, docs completeness pass
2026-07-12T21:15:31+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T21:15:31+00:00

257f5288a486740187e44b6ef4cadaad7166930e












interval characterization proofs and worked examples
2026-07-12T20:56:11+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T13:20:13+00:00

b7ab0a9d1f0275db32a526faf7cffe9d520b15c8