Skip to content
Snippets Groups Projects

Fix compat with Coq 8.15 & fix warnings.

Passed
Robbert Krebbers created pipeline for commit 653c4ef5
, finished
For master
1 job 15 minutes 17 seconds, queued for 1,480 seconds