SOL/docs/sakura-RNT-integration.org, branch master relation references as a term kind, written #Name 2026-07-12T20:56:11+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-12T20:55:27+00:00 b4a2485afbf74e99e2147086fbca0568b7e2b7b8 






decision 14: no application in term position, spec example rewritten flat
2026-07-12T04:06:21+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T04:06:21+00:00

c3b4c7aee1f0d4beb078938d330e982e752927a1












implementation language decision: ocaml with rocq extraction
2026-07-11T05:52:25+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-11T05:52:25+00:00

e3ff4fe110d530713fa0c86522d22395f164769a












sakura + RNT integration document with decisions from planning
2026-07-11T05:36:01+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-11T05:36:01+00:00

8b89dc72469872dbedcf819e9beb269810d94030