Skip to content
Snippets Groups Projects

put the existential quantifier inside spec_ctx

Passed
Dan Frumin created pipeline for commit 084fe855
, finished
For master
branch
1 job 5 minutes 33 seconds, queued for 115 seconds