Dicklesworthstone/introduction_to_temporal_logic

An introduction to temporal logic and how it can be used to analyze concurrency

92 best points · 26 comments · 1 Hacker News post · 112 GitHub stars · View on GitHub

Hacker News discussions