Static analysis tool for working with Structural Operational Semantics.
Primary LanguageHaskell
No one’s star this repository yet.