Yes, but Keras works just fine using Theano as a backend as well...