JasonGross/coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

语言：Python · GitHub 星标：48 · Fork：10

在 GitHub 上查看原仓库