Toot

Written by Jacques Carette on 2024-11-04 at 23:24

@jesper The amazing things that a well-organized community can do.

I'm jealous of their roughly 100:1 ratio of mathlib contributors to core system contributors. Well maybe not of their 1125 currently open PRs on mathlib...

=> More informations about this toot | View the thread | More toots from JacquesC2@types.pl

Mentions

=> View jesper@agda.club profile

Tags

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

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