Loading papers...
Formally verified projects and research papers
Machine-checked formal verification artifacts
Machine-verified formalization of semantic closure theory. Mechanizes how self-reference and meaning emergence arise through fixed points of closure operators.
Lean 4 proof that confluence and causal invariance are independent in Wolfram Physics rewriting systems. Mechanizes Piskunov counterexamples.
Machine-checked multiway semantics for SKY combinators with topos-theoretic gluing. Formalizes sieves as complete Heyting algebras.
Research papers and whitepapers