informalsystems/modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

11 best points · 0 comments · 1 Hacker News post · 27 GitHub stars · View on GitHub

Hacker News discussions

• Modelator-py: Utilities for the TLA+ ecoystem (11 points, 0 comments, by todsacerdoti, 2022-04-01)