ecranceMERCE / traktLinks

A generic goal preprocessing tool for proof automation tactics in Coq
16Updated 6 months ago

Alternatives and similar repositories for trakt

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

Sorting: