Skip to content
Snippets Groups Projects

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
latest merge request
2 jobs 4 minutes 40 seconds, queued for 3 seconds