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
Statistics for selected duration
2025-Nov-24 to 2025-Dec-24
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.