Skip to Main content Skip to Navigation
Reports

A Short Isabelle/HOL Tutorial for the Functional Programmer

Abstract : The objective of this (very) short tutorial is to help any functional programmer to quickly put its hand on Isabelle/HOL and catch a glimpse of its power. Then, if you want some more, you should refer to the extensive Isabelle/HOL tutorial and documentation available in the tool.
Complete list of metadata

https://hal.inria.fr/hal-01208577
Contributor : Thomas Genet <>
Submitted on : Monday, September 20, 2021 - 11:56:40 AM
Last modification on : Monday, September 20, 2021 - 12:44:31 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01208577, version 8

Citation

Thomas Genet, Jørgen Villadsen. A Short Isabelle/HOL Tutorial for the Functional Programmer. [Research Report] IRISA. 2017, pp.1-5. ⟨hal-01208577v8⟩

Share