ProofGeneral (math/ProofGeneral) Add to my watchlist
An emacs mode for interactive proovingThe aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.
Version: 4.2 License: unknown
GitHub
10 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 26.arm64 | 11763 | 2025-09-28 23:04:42 | 0:00:24 | 613 | build successful |
| 15.arm64 | 13671 | 2025-03-14 13:55:52 | 0:00:16 | 5826 | build successful |
| 15 | 10466 | 2024-10-11 11:43:08 | 0:00:14 | 942 | build successful |
| 14.arm64 | 14167 | 2024-01-27 7:48:07 | 0:00:26 | 4782 | build successful |
| 13.arm64 | 13030 | 2023-03-09 22:12:02 | 0:00:25 | 4324 | build successful |
| 13 | 18745 | 2023-01-21 14:08:51 | 0:00:45 | 2710 | build successful |
| 12 | 17593 | 2022-01-20 7:04:29 | 0:00:18 | 3770 | build successful |
| 12.arm64 | 19949 | 2021-11-18 14:58:27 | 0:00:20 | 1269 | build successful |
| 11.arm64 | 13606 | 2021-03-18 1:24:14 | 0:00:19 | 3828 | build successful |
| 10.15 | 18985 | 2020-01-04 10:35:30 | 0:00:25 | 1829 | failed install-port |