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 Overlay: src_prepare-overlay -
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 Overlay: src_prepare-overlay