https://github.com/lysxia/coq-pseudorandom

PRNG in Coq
https://github.com/lysxia/coq-pseudorandom

Last synced: 11 months ago
JSON representation

PRNG in Coq

• Host: GitHub
• URL: https://github.com/lysxia/coq-pseudorandom
• Owner: Lysxia
• License: mit
• Created: 2018-05-28T17:01:02.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-06-20T14:09:11.000Z (almost 8 years ago)
• Last Synced: 2025-04-24T05:39:24.674Z (about 1 year ago)
• Language: Coq
• Size: 4.88 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Pseudorandom number generators in Coq