Zulip Chat Archive

Stream: general

Topic: Mathematics Is Free


Jeremy Tan (Aug 09 2023 at 16:17):

This is my personal tribute to the mathlib4 porting effort, featuring my chimera dullahan fursona Hearth Taxel. Enjoy!

https://www.pixiv.net/en/artworks/110686549

Mathematics-Is-Free.png

Jeremy Tan (Aug 10 2023 at 04:15):

https://www.furaffinity.net/view/53233334

Scott Morrison (Aug 10 2023 at 09:39):

While we're generally rather skeptical of memey images being posted on the Zulip (and maybe we can keep them to a minimum in future :-), thanks @Jeremy Tan for your celebration of the port, and in particular for your huge contribution to it!

Don't forget that with the port complete, Mathlib is now open for new contributions!


Last updated: Dec 20 2023 at 11:08 UTC