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 GitHubStatistics for selected duration
2024-Apr-07 to 2024-May-07
Total Installations | 1 |
---|---|
Requested Installations | 1 |
Loading Chart
Loading Chart
Loading Chart
Loading Chart
Variants | Count |
---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart