proofgeneral
generic frontend for proof assistants

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/proofgeneral

general

source
proofgeneral (source, editors)
version
4.5-1
maint
Debian Math Team, Julien Puydt (u)
std-ver
4.6.2

binaries

news RSS

bugs

all bug history graph
4
RC
0
I&N
3
M&W
1
F&P
0