Add a new vector / bitvector library for the Rocq exporter - #3360
Draft
sauclovian-g wants to merge 4 commits into
Draft
Add a new vector / bitvector library for the Rocq exporter#3360sauclovian-g wants to merge 4 commits into
sauclovian-g wants to merge 4 commits into
