coq-scripts

Various useful scripts for dealing with Coq files

Search similar apps

    License

    MIT License

    Various useful scripts for dealing with Coq files

    Creator

    JasonGross

    Related apps

    coq-tools

    Some scripts to help construct small reproducing examples of bugs, implement [Pr

    Python39mit

    2 months ago