Search Results for author: Anja Petković

Found 1 papers, 0 papers with code

An extensible equality checking algorithm for dependent type theories

no code implementations12 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

Cannot find the paper you are looking for? You can Submit a new open access paper.