The Universal Imscriptive Grammar

Compilation of the Rohonc Codex via the Imscribing Grammar

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

a true, self-verifying agentic harness.

This directory contains a high-level implementation plan for formally verifying the Lefschetz (1,1) theorem in Lean 4.