gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/e

E is a theorem prover for full first-order logic with equality

Screenshots

  • e-1.8
    ~amd64 ~x86
    doc examples isabelle

    View      Download      Browse     License: GPL-2   
    Overlay: funtoo (distro)
  • e-1.8
    ~amd64 ~x86
    doc examples isabelle

    View      Download      Browse     License: GPL-2   
    Overlay: gentoo (distro)
  • e-1.6
    ~amd64 ~x86
    doc examples isabelle

    View      Download      Browse     License: GPL-2   
    Overlay: gentoo (distro)
  • e-1.6
    ~amd64 ~x86
    doc examples isabelle

    View      Download      Browse     License: GPL-2   
    Overlay: funtoo (distro)
  • e-1.5
    ~amd64 ~x86
    doc examples isabelle

    View      Download      Browse     License: GPL-2   
    Overlay: funtoo (distro)
  • e-1.5
    ~amd64 ~x86
    doc examples isabelle

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