Ancestors

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 | More toots from julesh@mathstodon.xyz

Descendants

Written by gaytabase on 2025-01-21 at 23:01

@julesh rocq-the-casbah

=> More informations about this toot | More toots from dysfun@treehouse.systems

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113868828426181948
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
264.036024 milliseconds
Gemini-to-HTML Time
0.558504 milliseconds

This content has been proxied by September (3851b).