Giters

kpy3 / tla-samples

Some TLA+/PlusCal puzzle's specifications

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tla-samples

Repository for some puzzle solutions written in TLA+/PlusCall.

About

Some TLA+/PlusCal puzzle's specifications

License:Apache License 2.0

Languages

Language:TeX 91.4%Language:TLA 8.6%