Chapter
Does one side always win?
When safety and progress still feel lopsided; introducing fairness
Writing Specs · TLA+ companion— Younes
What's inside (real chapters)
A curated glimpse—spotlight, next stop, and the primer.
Spec
A single-lane bridge
A concrete, everyday problem we will learn to reason about
Spec
Does this bridge work?
Looking closely at what safety means for our bridge
Tour in 4 stops
Follow the path or jump in where you need clarity most.