hide-kawabata/traf

A proof tree viewer that works with Coq through Proof General

语言：OCaml · GitHub 星标：28 · Fork：1

话题：coq · proof-general · proof-tree · traf

在 GitHub 上查看原仓库