bbv

bbv

https://github.com/mit-plv/bbv

Coq25

6 months ago

Reviews

Bedrock Bit Vector Library

Search similar apps

    License

    MIT License

    Share

    Bedrock Bit Vector Library

    Creator

    mit-plv

    Related apps

    fiat

    Mostly Automated Synthesis of Correct-by-Construction Programs

    Coq141other

    6 months ago

    fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

    Coq623other

    7 months ago

    riscv-coq

    RISC-V Specification in Coq

    Coq89bsd-3-clause

    11 months ago