Skip to content
Snippets Groups Projects

treat Forall2 constructors like we treat Forall constructors

Passed
Ralf Jung created pipeline for commit 22015a0e
, finished
Related merge request !318 to merge ralf/Forall2
4 minutes 45 seconds, queued for 5 seconds