Giters

linearregression / 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.2%Language:TeX 7.8%Language:Java 0.0%