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
Compilation of the Rohonc Codex via the Imscribing Grammar
This directory contains a high-level implementation plan for formally verifying the Lefschetz (1,1) theorem in Lean 4.
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 imscribe topic page so that developers can more easily learn about it.
To associate your repository with the imscribe topic, visit your repo's landing page and select "manage topics."