About

This is an introductory guide for TLA+ (Temporal Logic of Actions), a specification language used for writing code blueprints.

About the Author

I’m a software programmer at eSpark Learning. I have a personal site at hillelwayne.com I never update and a Twitter account I rarely use.