Skip to content

feat(coq): add basic config for Coq #104

feat(coq): add basic config for Coq

feat(coq): add basic config for Coq #104

Annotations

1 error and 1 warning

This job failed