Skip to content

Add NoDup_bind, vec_enum, vec_finite (new version with proper branch)

Robbert Krebbers requested to merge herman/vec_finite into master

Follow up of !451 (closed), but with a branch where I can push.

Edited by Robbert Krebbers

Merge request reports