metacoq.github.io - MetaCoq | Website of the MetaCoq Project
home > domains > metacoq.github.io
Description: Website of the MetaCoq Project
Example domain paragraphs
MetaCoq is a project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins (i.e. translations, compilers or tactics) in Coq.
Quick jump
You may want to start with a demo .
Links to metacoq.github.io (10)
theowinterhalter.github.io
Théo Winterhalter
meven.ac
Meven Lennon-Bertrand – About
yforster.de
Yannick Forster
certicoq.org
CertiCoq | A verified compiler for Coq
mpri-prfa.github.io
MPRI M2 – Proof Assistants
certicoq.github.io
CertiCoq | A verified compiler for Coq
yforster.github.io
Old Page
pierrevial.github.io
Pierre Vial
yeejian.dev
Yee Jian Tan
mattam.org
Matthieu Sozeau :: News