Login
Roast topics
Find topics
Find it!
From:
Blogs on Inferara
(Uncensored)
subscribe
Do not die hard with TLA+ pt.1
https://www.inferara.com/en/blog/do-not-die-hard-with-tla-plus-1/
links
backlinks
Roast topics
Find topics
Roast it!
The first part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
