Skip to content

Adapt to Coq PR #19301: unify the syntax of definition and theorem#932

Open
herbelin wants to merge 1 commit intocoq:mainfrom herbelin:main+adapt-coq-pr19301-ceps42-unify-definition-theorem
+13-10

Commits

Commits on Oct 25, 2024