Skip to content
Snippets Groups Projects

Prove `set_Forall_list_to_set`.

Passed
Robbert Krebbers created pipeline for commit ff0750f5
, finished
For master
branch
8 jobs 8 minutes 36 seconds, queued for 0 seconds