# idea181-synthspec-formal-specification

Source logic for Idea #181