1 paper · 1 filter
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…