lngen

lngen

https://github.com/plclub/lngen

Haskell29

6 months ago

Reviews

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

Search similar apps

    License

    MIT License

    Share

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

    Creator

    plclub

    Related apps

    metalib

    The Penn Locally Nameless Metatheory Library

    Coq68other

    last year

    hs-to-coq

    Convert Haskell source code to Coq source code.

    Coq71mit

    9 months ago

    coqhaskell