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
Bugs
| Bug # | Severity | Platform | Status | Description |
|---|
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title,
to do a more through search please visit: http://bugs.gentoo.org.