A Short Isabelle Tutorial for the Functional Programmer - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2017

A Short Isabelle 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.
Fichier principal
Vignette du fichier
main (1).pdf (181.48 Ko) Télécharger le fichier

Dates and versions

hal-01208577 , version 1 (02-10-2015)
hal-01208577 , version 2 (15-10-2015)
hal-01208577 , version 3 (06-11-2015)
hal-01208577 , version 4 (15-06-2016)
hal-01208577 , version 5 (15-05-2017)
hal-01208577 , version 6 (28-08-2018)
hal-01208577 , version 7 (26-08-2020)
hal-01208577 , version 8 (20-09-2021)
hal-01208577 , version 9 (04-01-2023)

Identifiers

  • HAL Id : hal-01208577 , version 9

Cite

Thomas Genet, Jørgen Villadsen. A Short Isabelle Tutorial for the Functional Programmer. [Research Report] IRISA. 2017, pp.1-5. ⟨hal-01208577v9⟩
984 View
6327 Download

Share

Gmail Facebook X LinkedIn More