gpo.zugaina.org

Search Portage & Overlays:

app-emacs/proofgeneral

A generic interface for proof assistants

Screenshots

  • proofgeneral-4.2
    amd64 ppc x86

    View      Download      Browse     License: GPL-2   
    Overlay: gentoo (distro)