GitHub repository: tlaplus/PlusPy
Primary language: Python
Created: 2020-04-13T18:03:03Z
Description: Python interpreter for TLA+ specifications