r/tlaplus

851 archived posts · May 2017 – Sep 2026

Random post

TLA+

r/tlaplus

/r/tlaplus is a place for discussion about the TLA+ specification language, formal methods, and related subjects.

Created Mar 27, 2017

1.7KMembers (last snapshot)

851Archived posts

r/tlaplus is a place for discussion about TLA^+ (and related topics like synchronous programming), formal methods, software specification and software correctness in general.

For asking questions, the user group is preferable.

Community

[The TLA^+ User Group] (https://groups.google.com/forum/#!forum/tlaplus)
TLA^+ News at wall.tlapl.us
@tlaplus
Community Modules

Resources

The TLA^+ Video Course
The Hyperbook
Advanced Topics
Specifying Systems
learntla.com
TLA^+ Examples
Dr. TLA^+ Series
TLA papers by Leslie Lamport
TLA^+ in Practice and Theory
The TLA^+ Homepage

Guidelines

Please follow proper reddiquette.

Other communities

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.