generates self-verifying digital ob3ects
compiler verification category-theory categorization verifier verification-code verifiable-computation imscriptive imscribe imscription imscribing imscribing-grammar self-verifying ob3ect categorical-tower
-
Updated
Aug 12, 2026 - Lean