Giters

mohankku / Examples

A collection of TLA+ specifications of varying complexities

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TLA+ Examples

A collection of TLA+ specifications of varying complexities

About

A collection of TLA+ specifications of varying complexities

License:Other

Languages

Language:TLA 92.6%Language:TeX 7.3%Language:Java 0.0%