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 GitHub7 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |