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
| Maintainers | No Maintainer |
| Categories | math |
| Homepage | http://proofgeneral.inf.ed.ac.uk/ |
| Platforms | darwin |
| Variants | - |
"ProofGeneral" depends on
build (1)
Ports that depend on "ProofGeneral"
No ports
Port Health:
Loading Port Health
Installations (30 days)
1
Requested Installations (30 days)
1
Livecheck error
Error: cannot check if ProofGeneral was updated (SSL: no alternative certificate subject name matches target host name 'proofgeneral.inf.ed.ac.uk')
last updated: 20 hours ago