Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic. Equality Checking for General Type Theories in Andromeda 2. In Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Volume 12097 of Lecture Notes in Computer Science, pages 253-259, Springer, 2020. [doi]
Abstract is missing.