Skip to content

Adapt to coq/coq#18038 (rewrite rules)#129

Merged
SkySkimmer merged 1 commit intocoq-community:coq-masterfrom Yann-Leray:rewrite-rulesFeb 21, 2024

Commits

Commits on Feb 5, 2024