search

jasmin-lang / coqword

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

Rename the logical path from CoqWord to mathcomp.word #12

Closed strub closed 2 years ago

strub commented 2 years ago

Fix #11