Proofs of randomized algorithms in Coq
scientific article; zbMATH DE number 5586771
scientific article