search

mit-plv / bbv

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

Adapt to coq/coq#14819 #36

Closed proux01 closed 3 years ago