3 ms·
Formal methods like TLA+ use complicated language making it unsuitable for everyday distributed applications most developed build. FizzBee is a formal language
by jayaprabhakar 3y ago
Formal methods like TLA+ use complicated language making it unsuitable for everyday distributed applications most developed build.
FizzBee is a formal language that's almost just Python.
https://github.com/fizzbee-io/fizzbee https://github.com/fizzbee-io/fizzbee