1 paper
Jeremy Lindsay, Cezary Kaliszyk, Christine Rizkallah
Mathematical proofs vary in legibility. While most proof optimisation techniques seek to minimise proof size, the strategic reordering of inferences can reduce the working memory d…