Hacker News Reader

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.