https://github.com/gmalecha/coq-interaction-trees

Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.
https://github.com/gmalecha/coq-interaction-trees

Last synced: about 1 month ago
JSON representation

Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.

• Host: GitHub
• URL: https://github.com/gmalecha/coq-interaction-trees
• Owner: gmalecha
• Created: 2018-06-21T13:36:05.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-07-09T02:28:23.000Z (over 6 years ago)
• Last Synced: 2023-04-30T20:32:50.424Z (over 1 year ago)
• Language: Coq
• Size: 27.3 KB
• Stars: 17
• Watchers: 4
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project