Description

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

Tags
safe2293226 artist:parclytaxel1507 derpibooru import1707849 oc1018525 oc only652380 oc:parcly taxel495 oc:spindle109 alicorn435979 genie pony504 pony1954876 windigo785 g4150334 .svg available10841 2024 community collab718 absurd resolution75555 ain't never had friends like us350 albumin flask308 alicorn oc36774 derpibooru community collaboration5635 eye contact8200 female1743763 floating5800 genie1894 heart78628 horn282610 looking at each other37133 looking at someone19143 mare942281 open mouth252515 open smile36097 raised hoof71974 raised leg41795 simple background636295 smiling431835 transparent background284576 vector91849 windigo oc121 wings244336

Comments

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

Detailed syntax guide