PrototypeCommune
Dicklesworthstone/introduction_to_temporal_logic
An introduction to temporal logic and how it can be used to analyze concurrency
- Propriétaire
- Dicklesworthstone (compte personnel)
- Étoiles
- Étoiles : 112
- Forks
- Forks : 3
- Langage
- Sans langage
- Licence
- Aucune
- Création
- 2024
- Sujets
- concurrencyeducationlogicmathematics
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de Dicklesworthstone
Les 43 dépôts de Dicklesworthstone- Dicklesworthstone/destructive_command_guardÉtoiles : 6 241RustStable
- Dicklesworthstone/llm_aided_ocrÉtoiles : 3 009PythonRC
- Dicklesworthstone/mcp_agent_mailÉtoiles : 2 228PythonRC
- Dicklesworthstone/pi_agent_rustÉtoiles : 1 956RustBêta
- Dicklesworthstone/beads_viewerÉtoiles : 1 725GoBêta
- Dicklesworthstone/agentic_coding_flywheel_setupÉtoiles : 1 677ShellBêta