abella (math/abella) Updated: 1 year, 4 months ago Add to my watchlist
Interactive theorem proverAbella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding.
Version: 2.0.7 License: GPL-3
GitHub
27 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14.arm64 | 8826 | 2024-01-19 15:37:22 | 0:00:39 | 4224 | build successful |
| 14 | 10397 | 2023-11-12 4:56:43 | 0:01:34 | 1634 | build successful |
| 10.8 | 144716 | 2023-08-17 21:40:28 | 0:02:01 | 45900 | failed install-dependencies |
| 10.7 | 156305 | 2023-08-17 21:35:18 | 0:00:37 | 47840 | failed install-dependencies |
| 10.6.x86_64 | 167127 | 2023-08-17 20:56:42 | 0:00:20 | 48099 | failed install-dependencies |
| 10.6 | 131651 | 2023-08-17 20:52:12 | 0:00:30 | 48060 | failed install-dependencies |
| 13.arm64 | 2493 | 2023-02-26 8:15:11 | 0:00:14 | 720 | build successful |
| 10.6 | 104551 | 2023-01-13 11:52:33 | 0:00:08 | 39781 | failed install-dependencies |
| 10.8 | 118982 | 2023-01-13 8:51:41 | 0:00:08 | 37596 | failed install-dependencies |
| 10.6.x86_64 | 139254 | 2023-01-13 8:51:17 | 0:00:08 | 39811 | failed install-dependencies |
| 10.7 | 129752 | 2023-01-13 8:50:51 | 0:00:07 | 39553 | failed install-dependencies |
| 11.arm64 | 77584 | 2022-12-20 7:51:18 | 0:00:39 | 26559 | build successful |
| 13 | 3942 | 2022-12-19 19:48:05 | 0:00:29 | 740 | build successful |
| 12.arm64 | 78268 | 2022-12-19 15:36:14 | 0:00:37 | 15376 | build successful |
| 10.6 | 98685 | 2022-12-19 15:36:02 | 0:00:22 | 38570 | failed install-dependencies |
| 10.6.x86_64 | 133703 | 2022-12-19 15:35:50 | 0:00:16 | 38600 | failed install-dependencies |
| 10.15 | 123993 | 2022-12-19 15:35:39 | 0:02:39 | 36680 | build successful |
| 11 | 96342 | 2022-12-19 15:35:28 | 0:01:40 | 26592 | build successful |
| 10.12 | 211936 | 2022-12-19 15:35:14 | 0:01:29 | 64838 | build successful |
| 10.11 | 204769 | 2022-12-19 15:35:01 | 0:01:34 | 66034 | build successful |
| 12 | 52808 | 2022-12-19 15:34:51 | 0:01:27 | 15370 | build successful |
| 10.14 | 150212 | 2022-12-19 15:34:40 | 0:01:41 | 47689 | build successful |
| 10.9 | 212552 | 2022-12-19 15:34:30 | 0:01:21 | 65607 | build successful |
| 10.8 | 114412 | 2022-12-19 15:34:20 | 0:00:26 | 36387 | failed install-dependencies |
| 10.13 | 174580 | 2022-12-19 15:34:06 | 0:01:15 | 56922 | build successful |
| 10.10 | 207097 | 2022-12-19 15:33:55 | 0:01:12 | 65914 | build successful |
| 10.7 | 125028 | 2022-12-19 15:33:33 | 0:00:11 | 38345 | failed install-dependencies |