gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/isabelle-bin

Generic proof assistant with higher-order logic

Screenshots

  • isabelle-bin-2024
    -* ~amd64

    View      Download      Browse     License: BSD Apache-2.0 BitstreamVera BSD-2 CPL-1.0 EPL-1.0 GPL-2 GPL-2+ GPL-3 GPL-3-with-openssl-exception LGPL-2.1+ LPPL-1.3c MIT public-domain   
  • isabelle-bin-2023
    -* ~amd64

    View      Download      Browse     License: BSD Apache-2.0 BitstreamVera BSD-2 CPL-1.0 EPL-1.0 GPL-2 GPL-2+ GPL-3 GPL-3-with-openssl-exception LGPL-2.1+ LPPL-1.3c MIT public-domain