Resources for Mathematical Reasoning