jrjsmrtn avatar

Georges Martin

jrjsmrtn

Total Packages

1

Total Downloads

1 124+

Stats

Updated daily
tlx v0.5.3

A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC m...

0 10 20 30 40
1.1K Total
0 Yesterday
17 Last 7 days