Category:Isabelle

From Rosetta Code
Revision as of 19:22, 18 July 2020 by rosettacode>Diekmann (Initial page for Isabelle/HOL language.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.
Retrieved from "https://rosettacode.org/wiki/Category:Isabelle?oldid=301276"