search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

Upgrade to Coq 8.8.0 #101

Closed jeromesimeon closed 6 years ago

jeromesimeon commented 6 years ago

See: https://github.com/coq/coq/releases/tag/V8.8.0

jeromesimeon commented 6 years ago

Done in b9e52ab4303db0cd997f2a1983c1740d84606d22