Toot

Written by Guillaume Munch-Maccagnoni on 2024-12-25 at 16:14

https://rocq-prover.org/

“The Rocq Team is pleased to announce the preview release of the new website of the Rocq Prover and Platform, along with its new logo and visual identity.”

=> More informations about this toot | View the thread | More toots from gadmm@mathstodon.xyz

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113714350760134813
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
222.112912 milliseconds
Gemini-to-HTML Time
0.416151 milliseconds

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