Procrastination: A proof engineering technique - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year :

Procrastination: A proof engineering technique

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01962659 , version 1

Cite

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

Collections

INRIA INRIA2
14 View
97 Download

Share

Gmail Facebook Twitter LinkedIn More