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 Rocq in Rocq
Rocq Prover 457 92
There was an error while loading. Please reload this page.
Verified Extraction from Rocq to OCaml/Malfunction
Website of the MetaRocq Project
Loading…
