G github.com An introduction to temporal logic and how it can be used to analyze concurrency 92 points eigenvalue 2 years ago 26 comments
