ecranceMERCE / traktLinks

A generic goal preprocessing tool for proof automation tactics in Coq
16Updated last month

Alternatives and similar repositories for trakt

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

Sorting: