Skip to content

Require Vector directly instead of through Bvector - #589

Open
andres-erbsen wants to merge 1 commit into
rocq-prover:mainfrom
andres-erbsen:remove-Bvector
Open

Require Vector directly instead of through Bvector#589
andres-erbsen wants to merge 1 commit into
rocq-prover:mainfrom
andres-erbsen:remove-Bvector

Require Vector directly instead of through Bvector

ac26c5e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs