mmhristov/Erlaplus

Erla+ is a compiler that transpiles PlusCal specs into Erlang implementations

语言：Java · GitHub 星标：9 · Fork：0

话题：distributed-systems · erlang · formal-verification · java · pluscal · tlaplus

在 GitHub 上查看原仓库