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.
Type de document :
Rapport
[Technical Report] RT-0367, INRIA. 2009, pp.33
Liste complète des métadonnées

https://hal.inria.fr/inria-00407778
Contributeur : Assia Mahboubi <>
Soumis le : mardi 28 juillet 2009 - 16:22:08
Dernière modification le : vendredi 16 septembre 2016 - 15:07:35
Document(s) archivé(s) le : mardi 15 juin 2010 - 19:48:06

Fichier

RT-367.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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>

Partager

Métriques

Consultations de
la notice

863

Téléchargements du document

3016