Return to Issue Details Reasoning and Proving Opportunities in Textbooks: A Comparative Analysis Download Download PDF