https://github.com/sel4/isabelle

git mirror of the Munich isabelle hg repository
https://github.com/sel4/isabelle

Last synced: 7 months ago
JSON representation

git mirror of the Munich isabelle hg repository

• Host: GitHub
• URL: https://github.com/sel4/isabelle
• Owner: seL4
• License: other
• Created: 2014-07-14T19:27:59.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2026-01-23T03:53:43.000Z (7 months ago)
• Last Synced: 2026-01-23T21:05:09.797Z (7 months ago)
• Language: Isabelle
• Size: 1.18 GB
• Stars: 131
• Watchers: 31
• Forks: 42
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • Changelog: NEWS
  • Copyright: COPYRIGHT

Awesome Lists containing this project

README

          
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.