MetaCoq

swMATH40004MaRDI QIDQ55704FDOQ55704

Author name not available (Why is that?)

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

Described by source

• The \textsc{MetaCoq} project

Cited In (3)

• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Translation certification for smart contracts
• Extracting functional programs from Coq, in Coq

This page was built for software: MetaCoq