Category:Isabelle

From Rosetta Code
(Redirected from Isabelle/HOL)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
Isabelle
This programming language may be used to instruct a computer to perform a task.
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using 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