Hacker News new | ask | show | jobs
Interactive Formal Specifications (will62794.github.io)
2 points by we6251 405 days ago