randomized-algorithms topic
List
randomized-algorithms repositories
alea
24
Stars
0
Forks
Watchers
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
