Category:Isabelle: Difference between revisions
Content added Content deleted
(Initial page for Isabelle/HOL language.) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{stub}}{{language|Isabelle}} |
{{stub}}{{language|Isabelle}} |
||
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle was originally developed at the University of Cambridge and Technische Universität München, but now includes numerous contributions from institutions and individuals worldwide. |
|||
https://isabelle.in.tum.de |
|||
Latest revision as of 19:26, 18 July 2020
This programming language may be used to instruct a computer to perform a task.
| See Also: |
|
|---|
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle was originally developed at the University of Cambridge and Technische Universität München, but now includes numerous contributions from institutions and individuals worldwide.
Pages in category "Isabelle"
The following 14 pages are in this category, out of 14 total.