Derpibooru
Filters (Default) SettingsRegisterLogin
Yes, the site logo changed. This is because site stylesheets are all brand-spanking new, and we have 15 new themes for you to choose from! More info here.
Policy Update - Rules changes incoming for AI content - Read Here
16 26 25 1 0
Subscribe
Galleries
Featured in
Sign in to create a gallery
Related
View VS Download DS
Uploaded by Parcly Taxel
Parcly Taxel - For supporting the site
Silly Pony - Celebrated the 13th anniversary of MLP:FIM, and 40 years of MLP!
Flower Trio - Helped others get their OC into the 2023 Derpibooru Collab.
Roseluck - Had their OC in the 2023 Derpibooru Collab.
Tree of Harmony - Drew someone's OC for the 2022 Community Collab
Elements of Harmony - Had an OC in the 2022 Community Collab
Philomena - For helping others attend the 2021 community collab
Twinkling Balloon - Took part in the 2021 community collab.
Ten years of changes - Celebrated the 10th anniversary of MLP:FiM!
Happy Derpy! - For Patreon supporters
Bronze Supporter - Bronze Supporter
Friendship, Art, and Magic (2020) - Took part in the 2020 Community Collab
The Magic of Friendship Grows - For helping others attend the 2020 Community Collab
Chaotic Little Trees - 1000+ images under their artist tag
Perfect Pony Plot Provider - Uploader of 10+ images with 350 upvotes or more (Questionable/Explicit)
Toola Roola - For helping others attend the 2019 Community Collab
Friendship, Art, and Magic (2019) - Celebrated Derpibooru's seventh year anniversary with friends
Friendship, Art, and Magic (2018) - Celebrated Derpibooru's six year anniversary with friends.
Helpful Owl - Drew someone's OC for the 2018 Community Collab
A Really Hyper Artist - 500+ images under their artist tag
Friendship, Art, and Magic (2017) - Celebrated Derpibooru's five year anniversary with friends.
The Power of Love - Given to a publicly verified artist with an image under their artist’s tag that has reached 1000 upvotes
A Really Classy Artist - 250+ images under their artist tag
An Artist Who Rocks - 100+ images under their artist tag
A Perfectly Normal Pony - But my memory is a gaping vagina
Artist -
 6721x4000 PNG 3.78 MB
Interested in advertising on Derpibooru? Click here for information!
Sky Railroad Merch Shop!

Help fund the $15 daily operational cost of Derpibooru - support us financially!

Description

230/Lean Theorem Prover
SVG here. This is my own submission to the 2024 Derpibooru collab.

Tags
Edit History (3)
safe
2276318 artist:parclytaxel
1547 oc
1003390 oc only
734338 oc:parcly taxel
506 oc:spindle
110 alicorn
337986 genie
1855 genie pony
506 pony
1709807 windigo
793 2024 community collab
715 ain't never had friends like us
360 albumin flask
318 derpibooru community collaboration
6185 g4
2134155 .svg available
11187 absurd resolution
70078 alicorn oc
38365 duo
208327 duo female
42671 eye contact
7868 female
1918663 floating
6219 heart
83724 horn
247361 looking at each other
38691 looking at someone
21541 mare
812482 open mouth
258723 open smile
39743 raised hoof
76601 simple background
641555 smiling
434980 transparent background
301635 vector
93010 windigo oc
122 wings
252592
Report Share List favoriters

Comments

Edit Preview
Syntax quick reference: **bold** *italic* ||hide text|| `code` __underline__ ~~strike~~ ^sup^ ~sub~

Detailed syntax guide

0 comments posted