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
The genetic code is a stratified Frobenius algebra on B₄³ codon space
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
Imscribing Grammatic Engine for Deterministic, Algebraic, & Exact Bio & Organic Chemistries
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 imscribing-grammar topic page so that developers can more easily learn about it.
To associate your repository with the imscribing-grammar topic, visit your repo's landing page and select "manage topics."