Armael/coq-procrastination

A small Coq library for collecting side conditions and deferring their proof

语言：TeX · GitHub 星标：26 · Fork：2

在 GitHub 上查看原仓库