metalib

metalib

https://github.com/plclub/metalib

Coq68

last year

Reviews

The Penn Locally Nameless Metatheory Library

Search similar apps

    License

    Other

    Share

    The Penn Locally Nameless Metatheory Library

    Creator

    plclub

    Related apps

    lngen

    Tool for generating Locally Nameless definitions and proofs in Coq, working toge

    Haskell29mit

    6 months ago

    hs-to-coq

    Convert Haskell source code to Coq source code.

    Coq71mit

    9 months ago

    coqhaskell