← Back to context Comment by tmaly 10 hours ago I remember NVIDA sponsored a TLA+ challenge last year https://foundation.tlapl.us/challenge/index.html 1 comment tmaly Reply uptodatenews 10 hours ago Whoa didn't even know cool
Whoa didn't even know cool