PrototypeCommon
Dicklesworthstone/introduction_to_temporal_logic
An introduction to temporal logic and how it can be used to analyze concurrency
- Owner
- Dicklesworthstone (personal account)
- Stars
- Stars: 112
- Forks
- Forks: 3
- Language
- No language
- License
- None
- Created
- 2024
- Topics
- concurrencyeducationlogicmathematics
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by Dicklesworthstone
All 43 repos by Dicklesworthstone- Dicklesworthstone/destructive_command_guardStars: 6,246RustStable
- Dicklesworthstone/llm_aided_ocrStars: 3,009PythonRC
- Dicklesworthstone/mcp_agent_mailStars: 2,230PythonRC
- Dicklesworthstone/pi_agent_rustStars: 1,960RustBeta
- Dicklesworthstone/beads_viewerStars: 1,724GoBeta
- Dicklesworthstone/agentic_coding_flywheel_setupStars: 1,677ShellBeta