SEbbaDK/semantac

Static analysis tool for working with Structural Operational Semantics.

Haskell