Very preliminary version of a quick start guide for sets.
Passed
Robbert Krebbers
created pipeline for commit
6fb7d791
, finished
Related merge request !372 to merge robbert/set_guide
4 minutes 40 seconds, queued for 3 seconds