Login
Roast topics
Find topics
Find it!
From:
Blogs on Inferara
(Uncensored)
subscribe
Commit to marriage with TLA+ pt.2
https://www.inferara.com/en/blog/commit-to-marriage-with-tla-plus-2/
links
backlinks
Roast topics
Find topics
Roast it!
The second part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
