spec-flatten 0.1.6

Formal specification flattening tool
Documentation