lsp gains hover, definition and completion from a text-level symbol scan2026-07-12T21:43:23+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T21:43:23+00:0019ba625e0345a88da6c29ab91a3ba2d7a8462065
language server over stdio, emacs mode with repl and eglot wiring2026-07-12T21:27:44+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T21:27:44+00:0027e9ddee53b8fa43725f951434404691d8012190
package build carries menhir and rocq, docs completeness pass2026-07-12T21:15:31+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T21:15:31+00:00257f5288a486740187e44b6ef4cadaad7166930e
relation references as a term kind, written #Name2026-07-12T20:56:11+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T20:55:27+00:00b4a2485afbf74e99e2147086fbca0568b7e2b7b8
interval characterization proofs and worked examples2026-07-12T20:56:11+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:20:13+00:00b7ab0a9d1f0275db32a526faf7cffe9d520b15c8
branch world: state scoped reads, insert transitions, tip commit2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:11:38+00:00f52efd20120cf5ceeae28da2c04d57acc6e46f14