ProofGeneral (math/ProofGeneral) Add to my watchlist

An emacs mode for interactive prooving

The 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
Displaying statistics for 1,193 users who made submissions during: until

Statistics for selected duration

2025-Dec-14 to 2026-Jan-13


Total Installations 1
Requested Installations 1


macOS Versions

Loading Chart

Port Versions

Loading Chart



Xcode Versions

Loading Chart

CLT Versions

Loading Chart



Variants table

Variants Count


Monthly Statistics

Can remain cached for up to 24 hours










Quick Links:
MacPorts
Port Information was updated:
2 hours ago
32e2ac74

Most recent build (in app's database) ran:
4 hours ago

Latest stats submission was received:
9 minutes ago