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

Coq48lgpl-2.1

10 months ago

An HTML documentation generator for Coq source files

OCaml26gpl-2.0

3 years ago

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

C91other

5 months ago

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

Coq32

3 years ago