usurobor/tsc

Theory, target model, and verifier for triadic coherence.

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

话题：alignment · cellular-automata · coherence · coinduction · measurement · philosophy-of-science · s3-invariance · symmetry

在 GitHub 上查看原仓库