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
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.
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/hal-01208577
Contributor : Thomas Genet <>
Submitted on : Wednesday, August 26, 2020 - 11:23:40 AM
Last modification on : Wednesday, September 2, 2020 - 3:13:36 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01208577, version 7

Citation

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

Share

Metrics

Record views

12

Files downloads

50