Theory, target model, and verifier for triadic coherence.
cellular-automata verification alignment coherence measurement symmetry philosophy-of-science coinduction systems-theory triadic-structure s3-invariance
-
Updated
Apr 5, 2026 - OCaml