230/Lean Theorem Prover

Parcly Taxel

My own submission to the 2024 Derpibooru community collaboration. Enjoy!

Fanbox: https://parclytaxel.fanbox.cc/posts/7137886
Weasyl: https://www.weasyl.com/~parclytaxel/submissions/2333688/230-lean-theorem-prover
SVG: https://parclytaxel.fanbox.cc/posts/7137879

Posted using PostyBirb

#my little pony#MLP#vector#OC#パックリ・タキセル#スピンドル#original character#Genie#Derpibooru

2023-12-14 18:44:20 +0000