Yet another example that TLA+ is math, not programming Posted by theobold on Tuesday September 01, 2020 @03:06PM from the old.reddit.com dept. https://old.reddit.com/r/tlaplus/comments/enencr/yet_another_example_that_tla_is_math_not/ ( no comments | 18 points | on HN )
There are no comments yet.