Skip to content

Adapt to Coq PR #18795 (more uniform API for declare.ml)#1083

Merged
ppedrot merged 1 commit intoMetaCoq:mainfrom herbelin:main+adapt-coq-pr18795-more-uniform-declare.mlMay 28, 2024
+2-2

Commits

Commits on May 20, 2024