MPCTT

MPCTT

https://github.com/uds-psl/MPCTT

Coq83

5 months ago

Reviews

Modeling and Proving in Computational Type Theory

Search similar apps

    License

    Share

    Modeling and Proving in Computational Type Theory

    Creator

    uds-psl

    Related apps

    coq-library-undecidability

    A library of mechanised undecidability proofs in the Coq proof assistant.

    Coq109mpl-2.0

    2 months ago

    coq