Procrastination, A proof engineering technique
Author: Armaël Guéneau
Paper Information
| Title: | Procrastination, A proof engineering technique |
| Authors: | Armaël Guéneau |
| Proceedings: | Coq Abstracts |
| Editor: | Nicolas Tabareau |
| Keywords: | coq, formal proofs, side conditions, proof engineering |
| Abstract: | ABSTRACT. We present a small Coq library for collecting side conditions and deferring their proof. |
| Pages: | 2 |
| Talk: | Jul 08 10:00 (Session 34B) |
| Paper: |  |