Skip to content
Snippets Groups Projects

fix proof for Coq 8.20

Failed
Robbert Krebbers created pipeline for commit a7b31dd6
, finished
For master
branch
1 job 7 minutes 34 seconds, queued for 0 seconds