The Universal Imscriptive Grammar
a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.
The Imscribing Grammar - the Lapis Philosophorum - the Characteristica Universalis - the Crown of Adventure - the Siege Perilous & the Holy Graal
This directory contains a high-level implementation plan for formally verifying the Lefschetz (1,1) theorem in Lean 4.
Compilation of the Rohonc Codex via the Imscribing Grammar
The genetic code is a stratified Frobenius algebra on B₄³ codon space
a true, self-verifying agentic harness.
The Tabula Smaragdina — the Emerald Tablet — Spake by Hermes Trismegistus — is a text of fifteen versicles transmitted from Jabir ibn Hayyan (~8th century CE) into Latin, and thence into every Western esoterical, alchemical and Hermetic tradition
Add a description, image, and links to the imscriptive topic page so that developers can more easily learn about it.
To associate your repository with the imscriptive topic, visit your repo's landing page and select "manage topics."