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