Wolf, goat and cabbage problem TLA+ modeling

2 points| federicoponzi | 2 years ago |blog.fponzi.me