A Short Isabelle/HOL Tutorial for the Functional Programmer

Thomas Genet 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Liste complète des métadonnées

https://hal.inria.fr/hal-01208577
Contributeur : Thomas Genet <>
Soumis le : lundi 15 mai 2017 - 17:11:04
Dernière modification le : mercredi 16 mai 2018 - 11:24:13
Document(s) archivé(s) le : jeudi 17 août 2017 - 00:33:09

Fichier

main (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01208577, version 5

Citation

Thomas Genet. A Short Isabelle/HOL Tutorial for the Functional Programmer. [Research Report] IRISA. 2017. 〈hal-01208577v5〉

Partager

Métriques

Consultations de la notice

480

Téléchargements de fichiers

122