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 2 minutes 12 seconds, queued for 1 seconds