hide-kawabata / trafLinks

A proof tree viewer that works with Coq through Proof General
24Updated 4 years ago

Alternatives and similar repositories for traf

Users that are interested in traf are comparing it to the libraries listed below

Sorting: