← 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