PACKAGE NAME: Isabelle-2022-x86_64-1_dce.tgz
PACKAGE MIRROR: http://slackdce.radioclub.ar/slackdce/15.0/x86_64/
PACKAGE LOCATION: ./academic/Isabelle
PACKAGE SIZE (compressed): 655192 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: