A self-imscribing compiler and categorical tower — generates self-verifying digital objects
-
Updated
Jul 5, 2026 - Lean
A self-imscribing compiler and categorical tower — generates self-verifying digital objects
Unified Operationalized Theorem & Ob3ect Framework for the Imscribing Grammar ecosystem
Add a description, image, and links to the ob3ect topic page so that developers can more easily learn about it.
To associate your repository with the ob3ect topic, visit your repo's landing page and select "manage topics."