trakt

trakt

https://github.com/ecranceMERCE/trakt

Prolog12

last year

Reviews

A generic goal preprocessing tool for proof automation tactics in Coq

Search similar apps

    License

    GNU Lesser General Public License v3.0

    Share

    A generic goal preprocessing tool for proof automation tactics in Coq

    Creator

    ecranceMERCE

    Related apps