github.com/coq/opam-coq-archive
A small library for collecting side conditions and deferring their proof
opam install coq-procrastination.1.2