The Imscribing Grammar - the Lapis Philosophorum - the Characteristica Universalis - the Crown of Adventure - the Siege Perilous & the Holy Graal

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

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.