parcly taxel and spindle (my little pony and etc) created by parclytaxel
Viewing sample resized to 12% of original (view original) Loading...
Description

230/Lean Theorem Prover

My own submission to the 2024 Derpibooru community collaboration.

Blacklisted
  • Comments
  • There are no comments.