44 citations · 111 across the 15 of their papers we have counts for
1 paper · 2 filters
Thibault Gauthier, Cezary Kaliszyk
Many proof assistant libraries contain formalizations of the same mathematical concepts. The concepts are often introduced (defined) in different ways, but the properties that they…