tla-eval v0.1.0 — Evaluate TLA+ predicates and actions at concrete states, with no dependencies

Sign in to join the discussion — your thebay.events account works here.