bump to Coq 8.18

Let's see if this works and what we get in terms of warnings.

This doesn't seem to even build with Coq 8.18. @haidang can you take care of that?

Thanks, I'll fix it

added 2 commits

• 941e58fb - 1 commit from branch master
• 70be615a - bump to Coq 8.18

Compare with previous version

Looks like we don't have any warnings either, great. :)

marked this merge request as ready

merged

mentioned in commit 17d149a4