PACKAGE NAME:  Isabelle-2022-x86_64-1_slackdce.txz
PACKAGE LOCATION:  ./academic/Isabelle
PACKAGE SIZE (compressed):  496616 K
PACKAGE SIZE (uncompressed):  1632600 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
Isabelle: Isabelle (generic proof assistant)
Isabelle:
Isabelle: Isabelle is a generic proof assistant. It allows mathematical
Isabelle: formulas to be expressed in a formal language and provides tools for
Isabelle: proving those formulas in a logical calculus. Isabelle was
Isabelle: originally developed at the University of Cambridge and Technische
Isabelle: Universitat Munchen, but now includes numerous contributions from
Isabelle: institutions and individuals worldwide.
Isabelle:
Isabelle:
Isabelle: