MetaCoq

swMATH40004MaRDI QIDQ55704FDOQ55704

Author name not available (Why is that?)

Official website: https://metacoq.github.io

Source code repository: https://github.com/MetaCoq/metacoq

Described by source

• The \textsc{MetaCoq} project

Cited In (18)

• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Translation certification for smart contracts
• Mtac
• TCB
• CertiKOS
• Autosubst
• CertiCoq
• HOLCF
• OEuf
• Template-Coq
• HOL Light QE
• Logipedia
• Metamath Zero
• PLM
• Extracting functional programs from Coq, in Coq
• LogiKEy
• coq-library-undecidability
• Cubical Agda

This page was built for software: MetaCoq