Toot
Written by Jon Sterling on 2024-12-25 at 17:21
Ooooo: https://rocq-prover.org
=> More informations about this toot | View the thread | More toots from jonmsterling@mathstodon.xyz
Mentions
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113714612496771612
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 223.697834 milliseconds
- Gemini-to-HTML Time
- 0.28952 milliseconds
This content has been proxied by September (3851b).