Formalizing a Hierarchical Structure of Practical Mathematical Reasoning | Publicación