Comment by tmaly

11 hours ago

I remember NVIDA sponsored a TLA+ challenge last year https://foundation.tlapl.us/challenge/index.html

1 comment

tmaly

Reply

uptodatenews 11 hours ago

Whoa didn't even know cool