MetaCoq / metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq
https://metacoq.github.io
MIT License
370 stars 79 forks source link

Update coq 8.18 with commits from 8.17 #1000

Closed yforster closed 10 months ago

JasonGross commented 10 months ago

I thought the point of testing the quick target was not that it was faster but to make sure it didn't break (b/c of universes or similar). Was I guessing wrong? (It definitely caught a breakage when I was preparing quotation)