# TLA+ Roadmap — moved

The formal-verification roadmap has moved to [docs/roadmap/formal-verification.md](../../docs/roadmap/formal-verification.md).

Spec authoring guidance remains in [GUIDE.md](GUIDE.md); the shipped specs are listed in the [CHANGELOG](../../CHANGELOG.md).
