Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq) #144
Annotations
1 error
build (windows-latest)
Process completed with exit code 1.
|