3 ms·
I remember NVIDA sponsored a TLA+ challenge last year https://foundation.tlapl.us/challenge/index.html https://foundation.tlapl.us/challenge/index.html
by tmaly 5mo ago
I remember NVIDA sponsored a TLA+ challenge last year https://foundation.tlapl.us/challenge/index.html https://foundation.tlapl.us/challenge/index.html
- uptodatenews 5mo agoWhoa didn't even know cool