Category:Isabelle: Difference between revisions
Content added Content deleted
(Initial page for Isabelle/HOL language.) |
(No difference)
|
Revision as of 19:22, 18 July 2020
Isabelle
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Isabelle.
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
Pages in category "Isabelle"
The following 14 pages are in this category, out of 14 total.