Spectacle: Interactive tool for exploring and visualizing formal specificationsgithub.com/will627945 pointswe6251a year ago