Toot

Written by The Rocq Prover on 2025-01-25 at 18:53

First Rocq Development Team Session @ CoqPL'25 !

https://www.youtube.com/live/XjkpA5rVxkM?si=GuImZzQOUI8zgCcG&t=10669

=> More informations about this toot | View the thread | More toots from RocqProver@mastodon.acm.org

Mentions

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113890507457362701
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 269.097952 milliseconds
Gemini-to-HTML Time: 0.308469 milliseconds

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