Skip to content
Snippets Groups Projects

No longer use `Declare Scope` since it does not work in Coq 8.9.

Failed
iris-dev created pipeline for commit d8231d65
, finished
For master
Scheduled branch
1 job 14 minutes 14 seconds, queued for 0 seconds