Equality Checking for General Type Theories in Andromeda 2

von Bauer, Andrej
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)