Statecraft

Learn TLA+ with eight lessons, practice questions, a searchable reference, notes, and three finite-model labs.

Statecraft Plus offers a three-day free introductory trial to eligible new subscribers, followed by US$9.99 per year or the local App Store price. The subscription renews automatically unless canceled at least 24 hours before the trial or current billing period ends. Apple charges your Apple Account and manages renewals, cancellation, restoration, and refunds. The first lesson and basic reference remain free.

Progress is stored on your device. No account, advertising, analytics, or developer-operated data service. Currently in development for invited TestFlight testing.