alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
25 stars
3 watching
0 forks
Language: Coq
last commit: almost 3 years ago
Linked from 2 awesome lists
coqmonadpaper-artifactsprobabilityrandomized-algorithms
uhub/awesome-coq