SOL/lib/dune, branch masterlexicographic order proven well founded, checker extracted and verifying admission2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T13:07:23+00:00e56efc19f71898d798c44b5955fe74451ee0fc6f
admission runs the containment checker extracted from rocq2026-07-12T01:03:21+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T01:03:21+00:00f22834d3aaed2b2dd2c5d4203e937fc8fb4b5507
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
canonical term algebra: labels, records, rationals, sequences2026-07-11T05:52:25+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T05:52:25+00:00f7aa2d28053979f33d90a3c7bdec1ff6daa49b94