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

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

Last synced: over 1 year 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 (almost 6 years ago)
• Default Branch: main
• Last Pushed: 2020-09-16T03:39:42.000Z (almost 6 years ago)
• Last Synced: 2025-02-09T21:43:52.650Z (over 1 year ago)
• Language: Coq
• Size: 13.7 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# smoosh-itree

Experiments in using [interaction

trees](https://github.com/DeepSpec/InteractionTrees) to implement

[Smoosh](https://github.com/mgree/smoosh)'s POSIX shell semantics.