Skip to content
Snippets Groups Projects

Generalize `gset_to_propset` to `set_to_propset` for any SemiSet.

Passed
Robbert Krebbers created pipeline for commit 809e0d1d
, finished
For master
branch
8 jobs 8 minutes 4 seconds, queued for 2 seconds