https://greenberg.science/ [email protected]
Stevens Institute of Technology Hoboken, NJ
Michael Greenberg
the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
mgree
Kleene algebra modulo theories
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.