- Nanjing
Block or Report
Block or report Starydark
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
PaxosStore-tla
PaxosStore-tla PublicSpecifying and Verifying the consensus algorithm in PaxosStore using TLA+
-
Examples
Examples PublicForked from tlaplus/Examples
A collection of TLA+ specifications of varying complexities
TLA
-
tlaplus
tlaplus PublicForked from tlaplus/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java
-
tlaplus-lamport-projects
tlaplus-lamport-projects PublicForked from hengxin/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
TeX
If the problem persists, check the GitHub status page or contact support.