Tag: tla

: These URLs in Geminispace contain the tag: tla

TLA+ temporal properties as a beginner ⌘ URL: gemini://shuhao.srht.site/posts/2021-06-29-tlaplus-temporal-properties-as-a-beginner.gmi