Georges Martin

jrjsmrtn

Total Packages

1

Total Downloads

158+

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...

158 Total

16 Yesterday

75 Last 7 days