pfeodrippe / tla-edn

A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
17Updated last year

Related projects

Alternatives and complementary repositories for tla-edn