Skip to content
Snippets Groups Projects

hopefully make proof work under older Coq

Passed
Ralf Jung created pipeline for commit 5e0eed6a
, finished
Related merge request !439 to merge ralf/listZ
latest merge request
2 jobs 4 minutes 29 seconds, queued for 3 seconds