An Ssreflect Tutorial

Abstract : This document is a tutorial for ssreflect which is a proof language based on Coq. This tutorial is mostly dedicated to people who already know the basics of logic.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00407778
Contributor : Assia Mahboubi <>
Submitted on : Tuesday, July 28, 2009 - 4:22:08 PM
Last modification on : Friday, September 16, 2016 - 3:07:35 PM
Long-term archiving on: Tuesday, June 15, 2010 - 7:48:06 PM

File

RT-367.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00407778, version 1

Collections

Citation

Georges Gonthier, Roux Stéphane Le. An Ssreflect Tutorial. [Technical Report] RT-0367, INRIA. 2009, pp.33. ⟨inria-00407778⟩

Share

Metrics

Record views

1181

Files downloads

5742