fiat-crypto

fiat-crypto

https://github.com/mit-plv/fiat-crypto

Coq623

6 months ago

Reviews

Cryptographic Primitive Code Generation by Fiat

Search similar apps

    License

    Other

    Share

    Cryptographic Primitive Code Generation by Fiat

    Creator

    mit-plv

    Related apps

    bbv

    Bedrock Bit Vector Library

    Coq25mit

    6 months ago

    fiat

    Mostly Automated Synthesis of Correct-by-Construction Programs

    Coq141other

    6 months ago

    riscv-coq

    RISC-V Specification in Coq

    Coq89bsd-3-clause

    11 months ago