Skip to content

adapt boilerplate for Coq 8.20 #40

adapt boilerplate for Coq 8.20

adapt boilerplate for Coq 8.20 #40

Annotations

11 warnings

This job succeeded