proofgeneral - 4.4.1~pre170114-1.2 main

generic frontend for proof assistants

Section: editors
Suites: byzantium landing 
Maintainer: Hendrik Tews <hendrik@askra.de>
 
Homepage Source Package
 

Dependencies

Installed Size: 2.1 MB
Architectures: all 

 

Versions

4.4.1~pre170114-1.2 all