ml4tp/tcoq

Modification to Coq to record intermediate proof states encountered during a proof

语言：OCaml · GitHub 星标：8 · Fork：3

话题：coq · theorem-proving

在 GitHub 上查看原仓库