GitHub repository: Disalg-ICS-NJU/tlaplus-lamport-projects
Primary language: TeX
Description: Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).