MetaCoq

swMATH40004MaRDI QIDQ55704

No author found.

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

Described by source

• The \textsc{MetaCoq} project

Related Items (3)

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

This page was built for software: MetaCoq