Skip to content

Remove bugged option MetaCoq Template Monad Debug.#1126

Merged
MathisBD merged 1 commit intoMetaCoq:coq-8.20from MathisBD:fix-bugged-optionDec 4, 2024

Commits

Commits on Dec 4, 2024