SOL/sol.opam, branch masterlanguage 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
rocq proof: structural decrease is well founded2026-07-12T00:55:51+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T00:55:51+00:00bb0349224767dc87f8d6ada2b7427eb392ac595e
working vm: parser, admission with totality checks, solver and repl2026-07-11T06:07:56+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:07:56+00:00c530682030e80ee2de2c263471e5eda7a3392e84
nix flake with dune and rocq development environment2026-07-11T05:52:25+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T05:52:25+00:0059c3b1a20aae2ef9c45e74d454337c07aa43f59e