20 citations · 20 across the 2 of their papers we have counts for
1 paper · 2 filters
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…