search

jasmin-lang / coqword

Yet Another Coq Library on Machine Words.
MIT License
9 stars 7 forks source link

Prepare for coq 8.14 #7

Closed vbgl closed 2 years ago

vbgl commented 2 years ago

This makes the library compatible with Coq 8.14.