Geeks
belaban
/
pluscal
Tests with PlusCal / TLA+
Primary Language
TLA
Apache License 2.0
Apache-2.0
pluscal GitHub
Markdown
Readme
0
Issues
25
Stargazers
4
Watchers
pluscal
Tests with PlusCal / TLA+