Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
Tutorial 3: Pseudodeterministic constructions and $rK^{t}$
De Igor Carboni Oliveira
Apparaît dans la collection : Logique de la programmation probabiliste / Logic of Probabilistic Programming