Skip to content

create new package for stdpp-bitvector library

Ralf Jung requested to merge ralf/bitvector into master

This is a step towards #204 (closed).

I was not quite sure which Coq logical path to use for this. For now I used since always typing stdpp.bitvector seems a bit annoying, but the inconsistency may also be confusing. Opinions?

Merge request reports