search

mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification
https://plv.csail.mit.edu/kami/
MIT License
142 stars 24 forks source link

Future proof NatLib.v #23

Closed mrhaandi closed 3 years ago

mrhaandi commented 3 years ago

This PR makes NatLib.v work with https://github.com/coq/coq/pull/14086 in a backwards compatible manner. It is required to establish compatibility with bedrock2.

joonwonc commented 3 years ago

Thanks! It is merged now.