1 paper
Matan Tsafrir, Esdras Medeiros, Jorge Poco +3
Mathematical understanding depends on the route from hypotheses to conclusion: how the parts of a proof function and which dependencies carry the argument forward. This structure c…