I personally haven’t heard this question before, but Martin Fowler mentions that he has been asked whether a team should use agile development or lean development for a project. The answer is that they’re not alternatives.
Lean development is a type of agile development.
In fact, Mary and Tom Poppendieck title their book “Lean Software Development: An Agile Toolkit.” And the introduction describes the book as a set of thinking tools for translating lean principles into effective agile practices.
In his post, Martin refers to Richard Durnall’s thoughts on using lean principles with agile projects, which I also enjoyed.
The better question is, how many lean principles are appropriate to implement for this project?