coq-tools

coq-tools

https://github.com/JasonGross/coq-tools

Python35

6 months ago

Reviews

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Search similar apps

    License

    MIT License

    Share

    Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

    Creator

    JasonGross

    Related apps

    coq-scripts

    Various useful scripts for dealing with Coq files

    Coq8mit

    6 months ago