Spec as you code — turn Python specifications into explored state spaces.
Wunderspec is a Python DSL for writing and checking protocol specifications. Among other tools, it includes TLA+ and Lean as transpilation targets.
- 📦 wunderspec/wunderspec — the open-core release:
pip install wunderspec - 📋 Cheatsheet
- 💬 Discussions
The Wunderspec core is published under the Functional Source License (FSL-1.1-ALv2), becoming Apache 2.0 in the future.