Toot
Written by julesh on 2025-01-21 at 23:00
Did anyone make a library for formally verified harmony yet called rocq-music?
=> More informations about this toot | View the thread | More toots from julesh@mathstodon.xyz
Mentions
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113868828426181948
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 219.103272 milliseconds
- Gemini-to-HTML Time
- 0.305507 milliseconds
This content has been proxied by September (3851b).