TLA+ This repo contains specifications written in the language of Lamport's TLA+ Temporal Logic of Actions