TLA+ in Practice and Theory Posted by rtukpe on Tuesday December 19, 2023 @08:24AM from the pron.github.io dept. https://pron.github.io/posts/tlaplus_part1 ( no comments | 2 points | on HN )
There are no comments yet.