search

mit-plv / bbv

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

adapt to coq/coq#18730 #49

Closed andres-erbsen closed 8 months ago