Top 1 paper-artifacts open source projects

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]