Spectacle: Interactive tool for exploring and visualizing formal specifications #1 Post by we6251 » Sat, Feb 22, 2025, 3:49 AM UTC Spectacle: Interactive tool for exploring and visualizing formal specificationsgithub.com