01:34:11
publiée le 22 avril 2024
Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
De Gilles Dowek
Apparaît dans les collections : Exposés de recherche, Algorithm and programming / Algorithmique et programmation