pull down to refresh

The Future of TLA+ [pdf]lamport.azurewebsites.net/tla/future.pdf
31 sats \ 0 comments \ @hn 28 Aug 2024 tech
This link was posted by tkhattra 1 hour ago on HN. It received 64 points and 6 comments.
write
preview
related posts