spec-flatten 0.3.2

Formal specification flattening tool
Documentation