#

lithoglyph

Here is 1 public repository matching this topic...

hyperpolymath / gql-dt

Dependently-typed Glyph Query Language

dependent-types query-language formal-verification starred palimpsest lean4 hyperpolymath lithoglyph

Updated Feb 13, 2026
Lean

Improve this page

Add a description, image, and links to the lithoglyph topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lithoglyph topic, visit your repo's landing page and select "manage topics."