gpo.zugaina.org

Search Portage & Overlays:

app-emacs/proofgeneral

A generic interface for proof assistants

Screenshots

  • proofgeneral-4.4
    amd64 ppc x86

    View      Download      Browse     License: GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0   
    Overlay: gentoo (distro)