MetaCoq

Repositories

• metacoq

  Metaprogramming in Coq

  metaprogramming coq coq-formalization
  Coq MIT 45 187 28 8 Updated Dec 13, 2020

• metacoq.github.io

  Website of the MetaCoq Project
  HTML MIT 0 2 0 0 Updated Oct 2, 2020