hide-kawabata / traf

A proof tree viewer that works with Coq through Proof General

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hide-kawabata/traf Stargazers