Heather Macbeth. Algorithm and Abstraction in Formal Mathematics. In Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren, editors, Mathematical Software - ICMS 2024 - 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings. Volume 14749 of Lecture Notes in Computer Science, pages 12-25, Springer, 2024. [doi]
Abstract is missing.