no code implementations • 12 Mar 2021 • Andrej Bauer, Anja Petković
We present a general and user-extensible equality checking algorithm that is applicable to a large class of type theories.
Logic in Computer Science Logic 03B38 (Primary), 68Q42 (Secondary) F.4.1