Hacker News new | ask | show | jobs
Interactive Explorer for Formal Specifications (github.com)
3 points by we6251 580 days ago