| HAL-Inria | Publications, software ... of Inria's scientists |
Documents associated with scientific events
Procrastination: A proof engineering technique
Abstract : We present a small Coq library for collecting side conditions and deferring their proof.
Cited literature [5 references]
https://hal.inria.fr/hal-01962659
Contributor : Armaël Guéneau <>
Submitted on : Thursday, December 20, 2018 - 5:16:54 PM
Last modification on : Thursday, January 7, 2021 - 3:36:01 PM
Contributor : Armaël Guéneau <>
Submitted on : Thursday, December 20, 2018 - 5:16:54 PM
Last modification on : Thursday, January 7, 2021 - 3:36:01 PM
File
procrastination.pdf
Files produced by the author(s)