Yet another example that TLA+ is math, not programming #1 Post by theobold » Tue, Sep 01, 2020, 7:06 PM UTC Yet another example that TLA+ is math, not programmingold.reddit.com