Gmeta
From MaRDI portal
Software:22079
No author found.
Related Items (4)
GMeta: A Generic Formal Metatheory Framework for First-Order Representations ⋮ Automatically Generated Infrastructure for De Bruijn Syntaxes ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ A formalized general theory of syntax with bindings: extended version
This page was built for software: Gmeta
