Hacker News new | ask | show | jobs
Spectacle: Interactive tool for exploring and visualizing formal specifications (github.com)
5 points by we6251 487 days ago