@imperialauditor I just now had the masochistic urge to add something new to mathlib. Does that count as popularisation?

Posters: gleech. gleech

2 likes recorded by the source corpus.

Topics: Math, Software

View Post: https://x.com/gleech/status/1677800431911686146