lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Search similar apps

    License

    MIT License

    Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

    Creator

    plclub

    Related apps

    hs-to-coq

    Convert Haskell source code to Coq source code.

    Coq77mit

    3 months ago

    coqhaskell