search

mit-plv / bbv

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

Adapt w.r.t. coq/coq#16904. #42

Closed ppedrot closed 1 year ago

ppedrot commented 1 year ago

This means turning some elimtype False into exfalso.