Mathematics Is Free

Stream: general

[Jeremy Tan]

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]

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

[Scott Morrison]

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!