Here is the CIFAR-10 dataset in png format, enjoy!
cifar.tgz
wget https://data.pjreddie.com/files/cifar.tgz tar xzf cifar.tgz
darknet
coq tactics