https://github.com/coq-community/alea

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
https://github.com/coq-community/alea

coq monad paper-artifacts probability randomized-algorithms

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/coq-community/alea
• Owner: coq-community
• License: lgpl-2.1
• Created: 2019-10-01T13:50:33.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2021-11-03T14:26:30.000Z (about 3 years ago)
• Last Synced: 2024-09-30T20:48:13.835Z (3 months ago)
• Topics: coq, monad, paper-artifacts, probability, randomized-algorithms
• Language: Coq
• Homepage:
• Size: 139 KB
• Stars: 25
• Watchers: 3
• Forks: 0
• Open Issues: 2

Awesome Lists containing this project

• awesome-coq - ALEA - Library for reasoning on randomized algorithms. (Projects / Libraries)