-- Leo's gemini proxy

-- Connecting to freeshell.de:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini

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

-- Response ended

-- Page fetched on Fri May 17 23:53:14 2024