Skip to content

Work around the non-linearity of template parameter levels.#125

Merged
proux01 merged 1 commit intocoq-community:masterfrom ppedrot:template-linear-levelsJun 24, 2024

Commits

Commits on Jun 24, 2024