C9BD1153-717D-44B9-B68D-BE3BB0BE7C10The Integration and Interaction of Multiple Mathematical Reasoning ProcessesResearch GrantEP/N014758/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL1304454E9FC5FDF-E910-48F3-B84D-5CE0B9500DA4Typed meta-interpretive learning for proof strategies6109c0543a26d987c3e70f6fe6be52fdC. Farquhar16130073https://sites.google.com/site/cifarquhar/mil-for-psgraphConference/Paper/Proceeding/Abstract56e11b2f3c8f78.92382301