Visualize Fitch-style proof diagrams, using custom syntax optimized for speedy writing and conciseness.
-
Updated
Mar 23, 2026 - Typst
Visualize Fitch-style proof diagrams, using custom syntax optimized for speedy writing and conciseness.
Compilation of Linear A (Minoan, ~2000–1450 BCE) via the Imscriptive Grammar
Add a description, image, and links to the metalogic topic page so that developers can more easily learn about it.
To associate your repository with the metalogic topic, visit your repo's landing page and select "manage topics."