coq (lang/coq) Add to my watchlist
Proof assistant for higher-order logicCoq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Camlp4.
Version: 8.13.2 License: LGPL-2.1
GitHub
105 build(s) found
Page 2 of 2 | Showing build(s) 101 to 105
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 16412 | 2020-01-24 1:12:31 | 1:11:24 | 3660 | failed install-port |
| 10.15 | 21932 | 2020-01-23 0:08:32 | 1:02:14 | 2469 | failed install-port |
| 10.6.x86_64 | 16320 | 2020-01-22 23:32:03 | 0:07:20 | 3647 | failed install-port |
| 10.6 | 8330 | 2020-01-22 22:39:52 | 0:09:13 | 3661 | failed install-port |
| 10.15 | 18025 | 2019-12-31 0:38:30 | 1:01:41 | 1816 | failed install-port |