You have searched for packages that names contain proofgeneral in all suites, all sections, and all architectures.
Found 5 matching packages.
Exact hits
Package proofgeneral
- etch (oldstable) (editors):
A generic interface for proof assistants
3.5-4.1: all
- etch-m68k (editors):
A generic interface for proof assistants
3.5-4.1: all
- lenny (stable) (editors):
generic interface for proof assistants - common package
3.7-3: all
- squeeze (testing) (editors):
generic interface for proof assistants - common package
3.7-3.1: all
- sid (unstable) (editors):
generic interface for proof assistants - common package
3.7-3.1: all
Other hits
Package proofgeneral-coq
- etch (oldstable) (editors):
ProofGeneral support for coq
3.5-4.1: all
- etch-m68k (editors):
ProofGeneral support for coq
3.5-4.1: all
- lenny (stable) (editors):
generic interface for proof assistants - coq support
3.7-3: all
- squeeze (testing) (editors):
generic interface for proof assistants - coq support
3.7-3.1: all
- sid (unstable) (editors):
generic interface for proof assistants - coq support
3.7-3.1: all
Package proofgeneral-doc
- etch (oldstable) (doc):
Documentation for ProofGeneral in html format
3.5-4.1: all
- etch-m68k (doc):
Documentation for ProofGeneral in html format
3.5-4.1: all
- lenny (stable) (doc):
generic interface for proof assistants - documentation
3.7-3: all
- squeeze (testing) (doc):
generic interface for proof assistants - documentation
3.7-3.1: all
- sid (unstable) (doc):
generic interface for proof assistants - documentation
3.7-3.1: all
Package proofgeneral-minlog
- etch (oldstable) (editors):
ProofGeneral support for Minlog
3.5-4.1: alpha amd64 hppa i386 mips mipsel powerpc sparc
- lenny (stable) (editors):
generic interface for proof assistants - Minlog support
3.7-3: all
- squeeze (testing) (editors):
generic interface for proof assistants - Minlog support
3.7-3.1: all
- sid (unstable) (editors):
generic interface for proof assistants - Minlog support
3.7-3.1: all
Package proofgeneral-misc
- etch (oldstable) (editors):
ProofGeneral support for different theorem provers
3.5-4.1: all
- etch-m68k (editors):
ProofGeneral support for different theorem provers
3.5-4.1: all
- lenny (stable) (editors):
generic interface for proof assistants - theorem provers support
3.7-3: all
- squeeze (testing) (editors):
generic interface for proof assistants - theorem provers support
3.7-3.1: all
- sid (unstable) (editors):
generic interface for proof assistants - theorem provers support
3.7-3.1: all
