Procrastination: A proof engineering technique
Abstract
We present a small Coq library for collecting side conditions and deferring their proof.
Origin : Files produced by the author(s)
Loading...