tla-oracle v0.1.0 — Decide whether an implementation's state graph refines a TLA+ specification

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