LNgen
From MaRDI portal
Software:22080
No author found.
Related Items (7)
GMeta: A Generic Formal Metatheory Framework for First-Order Representations ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Contracts made manifest ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Binders unbound ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ Binding Structures as an Abstract Data Type
This page was built for software: LNgen
