Gentoo Portage Overlays - sci-mathematics/isabelle

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/isabelle

Isabelle is a generic proof assistant.

Screenshots

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

isabelle-2020

~amd64

View

Download

Browse License: BSD3

Overlay: cynede (layman)

isabelle-2020

~amd64

View

Download

Browse License: BSD3

Overlay: buzden (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs