Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples)

4 points | by elliotswart 13 days ago