Georges Martin

jrjsmrtn

Total Packages

1

Total Downloads

219+

jrjsmrtn@gmail.com GitHub: jrjsmrtn

Stats

Updated daily

tlx v0.5.0

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

219 Total

6 Yesterday

30 Last 7 days