Gmeta
From MaRDI portal
Cited in
(13)- Ott
- A formalized general theory of syntax with bindings: extended version
- PoplMark
- LNgen
- GMeta: a generic formal metatheory framework for first-order representations
- MiniAgda
- Unbound
- FreshOCaml
- Autosubst
- Psi-calculi
- POPLMark reloaded: mechanizing proofs by logical relations
- Automatically Generated Infrastructure for De Bruijn Syntaxes
- Psi-calculi in Isabelle
This page was built for software: Gmeta
