Skip to Main content Skip to Navigation
Reports

A Short Isabelle/HOL Tutorial for the Functional Programmer

Thomas Genet 1
1 CELTIQUE - Software certification with semantic analysis
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 metadatas

https://hal.inria.fr/hal-01208577
Contributor : Thomas Genet <>
Submitted on : Thursday, October 15, 2015 - 10:15:55 AM
Last modification on : Thursday, November 15, 2018 - 11:57:41 AM
Document(s) archivé(s) le : Thursday, April 27, 2017 - 4:21:44 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01208577, version 2

Citation

Thomas Genet. A Short Isabelle/HOL Tutorial for the Functional Programmer. [Research Report] IRISA. 2015. ⟨hal-01208577v2⟩

Share

Metrics

Record views

229

Files downloads

254