Toot
Shared by Matthieu Sozeau on 2025-01-26 at 14:35 (original by The Rocq Prover)
=> More informations about this toot | Original toot | View the thread | More toots from mattam@types.pl | More toots from RocqProver@mastodon.acm.org
Mentions
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113895155031208966
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 234.308481 milliseconds
- Gemini-to-HTML Time
- 0.596145 milliseconds
This content has been proxied by September (3851b).