Hacker News Reader

It's the best (and only) intermediate level Coq book around.

Does Software Foundations assume a less or more advanced background from its readers?

Software foundations is very introductory level text on Coq which is very accessible for people without formal proof experience.

Far less, IMO.