Snapkitty/sov-kernel-monster
Updated
Formal Verification and Proofs
Zero-sorry Lean 4 theorems, Agda formalizations, and cross-language verification. Every proof compiles. No axiom admits.
-
-
Snapkitty/ahmad-foundations
Updated -
Snapkitty/sovereign-entropy-theorem
Text Generation • Updated -
Snapkitty/xrex-invariants-formal
Updated -
Snapkitty/j-matrix-twin
Updated -
Snapkitty/forge-polyglot-verifier
Updated -
Snapkitty/aes-verification-suite
Updated -
Snapkitty/pure-validity
Updated -
Snapkitty/cosmic-invariant-sieve
Updated -
Snapkitty/sovereign-forge
Updated -
Snapkitty/sovereign-array
Updated -
Snapkitty/sovereign-trinity-kernel
Updated