Spectacle: Interactive tool for exploring and visualizing formal specifications

Read post on hnrss.org

Article URL: https://github.com/will62794/spectacleComments URL: https://news.ycombinator.com/item?id=43135916Points: 4# Comments: 0