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

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

coq monad paper-artifacts probability randomized-algorithms

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/rocq-community/alea
• Owner: coq-community
• License: lgpl-2.1
• Created: 2019-10-01T13:50:33.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2021-11-03T14:26:30.000Z (over 4 years ago)
• Last Synced: 2025-01-31T07:51:28.776Z (over 1 year 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)