Template-Coq
From MaRDI portal
Software:39285
No author found.
Related Items (5)
Extracting functional programs from Coq, in Coq ⋮ The \textsc{MetaCoq} project ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:5875425 A certifying extraction with time bounds from Coq to call-by-value
$\lambda$-calculus] ⋮ Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac} ⋮ \texttt{slepice}: towards a verified implementation of type theory in type theory
This page was built for software: Template-Coq