Procrastination: A proof engineering technique - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2018

Procrastination: A proof engineering technique

Résumé

We present a small Coq library for collecting side conditions and deferring their proof.
Fichier principal
Vignette du fichier
procrastination.pdf (49.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01962659 , version 1 (20-12-2018)

Identifiants

  • HAL Id : hal-01962659 , version 1

Citer

Armaël Guéneau. Procrastination: A proof engineering technique. Coq Workshop 2018, Jul 2018, Oxford, United Kingdom. ⟨hal-01962659⟩

Collections

INRIA INRIA2
21 Consultations
116 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More