I’d recommend that you leave lein out of the equation and use only what is in the Ions Tutorial. Start with Ion-starter tutorial app and build up to your application:
https://docs.datomic.com/cloud/ions/ions-tutorial.html
If you still run into errors pulling down the artifacts please post the results here.