A Short Isabelle/HOL Tutorial for the Functional Programmer - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

A Short Isabelle/HOL Tutorial for the Functional Programmer

Résumé

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.

Domaines

Génie logiciel [cs.SE] Informatique et langage [cs.CL] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
main.pdf (198.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Thomas Genet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01208577

Soumis le : mercredi 26 août 2020-11:23:40

Dernière modification le : lundi 24 juillet 2023-11:06:33

Télécharger pour visualiser

Dates et 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)

Identifiants

  • HAL Id : hal-01208577 , version 7

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
983 Consultations
6319 Téléchargements

Partager

Gmail Facebook X LinkedIn More