Skip to content
Snippets Groups Projects

Some tweaks to the structure/proofs of `sets` file.

Passed
Robbert Krebbers created pipeline for commit 02fd8ca3
, finished
For master
branch
4 jobs 8 minutes 36 seconds, queued for 5 seconds