Skip to content

Make the headers compatible with coq 8.17#9

Open
yiyunliu wants to merge 1 commit intouds-psl:mainfrom yiyunliu:fix-export

Commits

Commits on May 8, 2023