-
Notifications
You must be signed in to change notification settings - Fork 40
seL4/isabelle
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
The Isabelle System Distribution ================================ See the NEWS file in the distribution for details on user-relevant changes. The ANNOUNCE file recounts notable changes for the latest official release. The core of Isabelle is subject to a 3-clause BSD license, but add-on components have their own license schemes (similar to a Linux distribution). Installation ------------ Isabelle works on the three main platform families: Linux, Windows, and macOS. The application bundles from the Isabelle web page include sources, documentation, and add-on tools for all supported platforms. Some technical background information may be found in the Isabelle System Manual (directory doc). User interface -------------- Isabelle/jEdit is an advanced Prover IDE based on jEdit and Isabelle/Scala. It is the main example application of the Isabelle/PIDE framework, and the default user interface of Isabelle. It provides a metaphor of continuous proof checking of a versioned collection of theory sources, with instantaneous feedback in real-time and rich semantic markup associated with the formal text. Other sources of information ---------------------------- * The Isabelle Page The Isabelle home page may be accessed from the following mirror sites: * https://www.cl.cam.ac.uk/research/hvg/Isabelle * https://isabelle.in.tum.de * https://mirror.cse.unsw.edu.au/pub/isabelle * https://mirror.clarkson.edu/isabelle * Mailing list The electronic mailing list isabelle-users@cl.cam.ac.uk provides a forum for Isabelle users to discuss problems and exchange information. To join, send a message to isabelle-users-request@cl.cam.ac.uk. * Personal mail Lawrence C Paulson Computer Laboratory University of Cambridge JJ Thomson Avenue Cambridge CB3 0FD England E-mail: lcp@cl.cam.ac.uk Phone: +44-223-763500 Fax: +44-223-334748 or Tobias Nipkow Institut für Informatik Technische Universität München Boltzmannstr. 3 D-85748 Garching Germany E-mail: nipkow@in.tum.de Phone: +49-89-289-17302 Fax: +49-89-289-17307 NOTE: Please report any problems you encounter. While we shall try to be helpful, we can accept no responsibility for the deficiencies of Isabelle and their consequences.
About
git mirror of the Munich isabelle hg repository
Resources
Stars
Watchers
Forks
Packages 0
No packages published