After a four-month sojourn with the porting of mathlib4, the mathematical library associated to the latest version of the Lean theorem prover – a very intellectually fruitful time where I worked beside the likes of Patrick Massot and Heather Macbeth – and finishing up the daily sketches from my two previous trips to the DACH region and to Japan, I finally found the time and courage to restart vectoring ponies.
This is a commission for Vivia over Discord featuring her OC Azure Light geniefied, for which I received payment just before the Germany/Switzerland trip but then forgot for almost a year, perhaps because I was only given a textual description of the mare.
