https://github.com/mgree/smoosh-itree

POSIX shell semantics in Coq, via interaction trees.
https://github.com/mgree/smoosh-itree

Last synced: 14 days ago
JSON representation

POSIX shell semantics in Coq, via interaction trees.

• Host: GitHub
• URL: https://github.com/mgree/smoosh-itree
• Owner: mgree
• License: gpl-3.0
• Created: 2020-09-16T03:06:21.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2020-09-16T03:39:42.000Z (about 4 years ago)
• Last Synced: 2024-04-09T21:22:35.134Z (7 months ago)
• Language: Coq
• Size: 13.7 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project