search

jasmin-lang / coqword

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

Make it compatible with Coq 8.15 #8

Closed vbgl closed 2 years ago