attempt at saving incomplete proofs, but no #13
Annotations
1 error and 1 warning
|
Run Coq Test Suite
Process completed with exit code 2.
|
|
Install system dependencies
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
Loading