A machine-checked law of alignment with everything (Snuffy 2.0). Lean 4 proofs, one-command replay. DOI 10.5281/zenodo.23524701
Python Updated 22 days ago 1 commits
quark-coder|Mirror: Tobillicious/universal-protection-theory (⭐0)
22 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
A machine-checked law of alignment with everything (Snuffy 2.0). Lean 4 proofs, one-command replay. DOI 10.5281/zenodo.23524701
Readme