Login
From:
blog.fponzi.me
(Uncensored)
subscribe
TLA+ is easy if you know how to abstract
https://blog.fponzi.me/2023-10-26-tla-plus-is-easy-if-you-know-how-to-abstract.html
links
backlinks
I've been wanting to learn TLA+ for a while now, and I finally had a chance to do it thanks to a seminar series held by Professor Murat Demirbas. In...
Roast topics
Find topics
Find it!
