https://github.com/clarus/concurrent-computations

A definition of concurrent computations in Coq.
https://github.com/clarus/concurrent-computations

Last synced: 8 months ago
JSON representation

A definition of concurrent computations in Coq.

• Host: GitHub
• URL: https://github.com/clarus/concurrent-computations
• Owner: clarus
• License: bsd-2-clause
• Created: 2014-06-30T14:50:44.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2015-08-15T15:50:31.000Z (over 10 years ago)
• Last Synced: 2025-04-14T22:47:26.374Z (8 months ago)
• Language: Coq
• Size: 152 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Concurrent computations

=======================

A definition of concurrent computations in Coq. Designed for Coq 8.4.