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

Coq64lgpl-2.1

7 months ago

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

Coq38

4 years ago

Repeatable pseudo-random sampling, CDF over most known probability distributions

Crystal12other

3 years ago

cdfcrystalcrystal-lang