01:34:11
published on April 22, 2024
Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
By Marie Kerjean
01:06:58
published on March 11, 2024
Tutorial 3: Pseudodeterministic constructions and $rK^{t}$
By Igor Carboni Oliveira