jrjsmrtn/tlx

A Spark DSL for writing TLA+/PlusCal specifications in Elixir

语言：Elixir · GitHub 星标：12 · Fork：0

在 GitHub 上查看原仓库