cdf-mech-sem

cdf-mech-sem

https://github.com/xavierleroy/cdf-mech-sem

Coq48

10 months ago

Reviews

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

Search similar apps

    License

    GNU Lesser General Public License v2.1

    Share

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

    Creator

    xavierleroy

    Related apps

    coq2html

    An HTML documentation generator for Coq source files

    OCaml26gpl-2.0

    3 years ago

    cryptokit

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

    C91other

    5 months ago

    ocamlmpi

    OCaml/MPI interface

    OCaml22other

    3 years ago

    cdf-program-logics

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

    Coq32

    3 years ago