Purple Lean Scripts

Parcly Taxel

Finally completed after six months! My love letter to the Lean/mathlib community.

Fanbox: https://parclytaxel.fanbox.cc/posts/7794343
Weasyl: https://www.weasyl.com/~parclytaxel/submissions/2370444/purple-lean-scripts
SVG: https://parclytaxel.fanbox.cc/posts/7794339

Posted using PostyBirb

#my little pony#MLP#vector#someone else's OC#パックリ・タキセル#Genie#Lean#Twilight Sparkle#Albumin_Flask

2024-04-19 15:10:50 +0000