Description

Image imported from derpibooru
Original Description:
230/Lean Theorem Prover
SVG here. This is my own submission to the 2024 Derpibooru collab.

Tags
safe2260085 artist:parclytaxel1496 derpibooru import1658224 oc998468 oc only639184 oc:parcly taxel491 oc:spindle109 alicorn429446 genie pony497 pony1926333 windigo774 g4122561 .svg available10553 2024 community collab717 absurd resolution74875 ain't never had friends like us345 albumin flask305 alicorn oc36165 derpibooru community collaboration5633 eye contact8100 female1711936 floating5695 genie1882 heart76542 horn267496 looking at each other35871 looking at someone17584 mare925077 open mouth246586 open smile33836 raised hoof70443 raised leg40023 simple background625245 smiling420991 transparent background280482 vector90884 windigo oc120 wings236418

Comments

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

Detailed syntax guide