Skip to content

Add a new vector / bitvector library for the Rocq exporter - #3360

Draft
sauclovian-g wants to merge 4 commits into
masterfrom
new-rocq-vectors
Draft

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

saw-core-rocq: different implementation of coerceVec.

27ec9cf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar