20 citations · 29 across the 3 of their papers we have counts for
1 paper · 1 filter
Qingxiang Wang, Cezary Kaliszyk
The heterogeneous nature of the logical foundations used in different interactive proof assistant libraries has rendered discovery of similar mathematical concepts among them diffi…