Hacker News new | ask | show | jobs
Wolf, goat and cabbage problem TLA+ modeling (blog.fponzi.me)
2 points by federicoponzi 968 days ago