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