cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Search similar apps

    License

    Companion Coq development for Xavier Leroy's 2021 lectures on program logics

    Creator

    xavierleroy

    Related apps

    cdf-mech-sem

    Coq development for the course "Mechanized semantics", Collège de France, 2019-2

    Coq64lgpl-2.1

    7 months ago

    cryptokit

    A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

    C97other

    12 days ago

    ocamlmpi

    OCaml/MPI interface

    OCaml24other

    8 months ago