xxyzzn

Pinned Repositories

• Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k4540199

• foundation

  TLA+ Foundation

  Language:HTML231624

• lecture

  The TLA+ Video Course by Leslie Lamport

  Language:HTML8602

xxyzzn's Repositories