GitHub repository: Armael/coq-procrastination
Primary language: TeX
Created: 2018-07-02T16:17:36Z
Description: A small Coq library for collecting side conditions and deferring their proof