cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2
Coq48lgpl-2.1
11 months ago
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq32
3 years ago
alea
Repeatable pseudo-random sampling, CDF over most known probability distributions
Crystal12other
2 years ago
cdfcrystalcrystal-lang