Sovereign method repository. Public code, proofs, specs.
fortran proofs formal-verification quantum-compiler quantum-computer sovereign openqasm mlir lean4 jacobian-conjecture sovereign-ai born-rule snapkitty zero-sorry jordan-spectral-transformer worm-attestation qataaum
-
Updated
Aug 17, 2026 - Rust