Pure mathematicians are always motivated by a problem, even if it isn't a "real world" problem.
i.e. that the equivalent of a README would also help pure mathematicians? I guess that would be a statement of the problem: a formal definition of assumptions, and the outcome (if possible). Though I think getting to that point would be where most of the work is.