search

jasmin-lang / coqword

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

mathcomp 1.14: mark as compatible and enable CI #9

Closed vbgl closed 2 years ago