Skip to content
Snippets Groups Projects

tweak proofs

Failed
Ralf Jung created pipeline for commit a3bcb51e
, finished
1 related merge request: !52 fix or silence Coq 8.10 warnings
8 jobs 6 minutes 11 seconds, queued for 2 seconds