Skip to content
GitLab

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

Merged 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