11111000000/math-coding

Math-coding is a protocol that ties every change to a written commitment, named obligations, and bounded evidence. The OCaml kernel gates the merge on a named rule, not a vague feeling.

语言：OCaml · GitHub 星标：3 · Fork：0

话题：architecture-decision-records · assurance · audit-trail · cli · decision-records · developer-tools · ocaml · protocol

在 GitHub 上查看原仓库