Gentoo Portage Overlays - sci-mathematics/isabelle-bin

sci-mathematics/isabelle-bin

Generic proof assistant with higher-order logic

Screenshots

https://isabelle.in.tum.de/overview.html

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

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

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.