tucak / smoosh Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Home Page: http://shell.cs.pomona.edu
License: MIT License