Dicklesworthstone/introduction_to_temporal_logic
View on GitHub ↗ ★ 112
An introduction to temporal logic and how it can be used to analyze concurrency
3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2024-01-22 · latest 2024-08-05
20082026
-
@eigenvalue, some comments suggest the project code and README was LLM-generated. Could you say to what extent that is the case? Edit: I'm curious about other repositories under your account also. For example, this one:…
comment by YeGoblynQueenne · 2024-08-05 · in Show HN: Visual A* pathfinding and maze generation in Python -
Wow, thanks for catching that! I've attempted to fix the proof based on your comment: https://github.com/Dicklesworthstone/introduction_to_tempora...
comment by eigenvalue · 2024-01-24 · in An introduction to temporal logic and how it can be used to analyze concurrency -
▲ 92
An introduction to temporal logic and how it can be used to analyze concurrencystory by eigenvalue · 2024-01-22 · 26 comments