Skip to content

Adapt to Coq PR #18743: search_guard is now able to decide late if a recursive definition is a fix or a cofix#584

Merged
ppedrot merged 1 commit intomattam82:mainfrom herbelin:main+adapt+coq-pr18743-more-flexible-theorem-withMay 16, 2024
+1-1

Commits