The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard. - View it on GitHub