Toot
Written by Per Vognsen on 2024-12-30 at 02:27
@shachaf E.g. https://en.wikipedia.org/wiki/Linear_time_property#Liveness_properties
=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social
Mentions
=> View shachaf@y.la profile
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113739409441452501
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 225.749442 milliseconds
- Gemini-to-HTML Time
- 0.729132 milliseconds
This content has been proxied by September (ba2dc).