sel4 / isabelle Goto Github PK
View Code? Open in Web Editor NEWgit mirror of the Munich isabelle hg repository
License: Other
git mirror of the Munich isabelle hg repository
License: Other
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 [email protected] provides a forum for Isabelle users to discuss problems and exchange information. To join, send a message to [email protected]. * Personal mail Lawrence C Paulson Computer Laboratory University of Cambridge JJ Thomson Avenue Cambridge CB3 0FD England E-mail: [email protected] 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: [email protected] 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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.