Skip to content
Snippets Groups Projects

visible forall in terms (wip)

Failed
Daniel Rogozin created pipeline for commit b9a1dd7d
, finished
Related merge request !3 to merge danya/visible-foralls
latest merge request
22 jobs 14 minutes 38 seconds, queued for 3 seconds