55 citations · 97 across the 13 of their papers we have counts for
1 paper · 2 filters
Andrej Bauer, Anja Petković Komel
We present a general and user-extensible equality checking algorithm that is applicable to a large class of type theories. The algorithm has a type-directed phase for applying exte…