149 citations · 563 across the 54 of their papers we have counts for
1 paper · 2 filters
Cezary Kaliszyk, Andrei Paskevich
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated De…