I'm working on modernizing Rosetta Code's infrastructure. Starting with communications. Please accept this time-limited open invite to RC's Slack.. --Michael Mol (talk) 20:59, 30 May 2020 (UTC)

Category:Isabelle

From Rosetta Code
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.
Your Help Needed
If you know Isabelle, please write code for some of the tasks not implemented in 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