We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Metaprogramming, verified meta-theory and implementation of Coq in Coq
Coq 388 82
Website of the MetaCoq Project
Loading…
