search

mit-plv / bbv

Bedrock Bit Vector Library
MIT License
27 stars 23 forks source link

Future proof NatLib and ZLib #34

Closed mrhaandi closed 3 years ago

mrhaandi commented 3 years ago

This PR makes NatLib and ZLib work with https://github.com/coq/coq/pull/14086 in a backwards compatible manner.