TY  - RPRT
TI  - Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
AU  - Cezary Kaliszyk
AU  - Andrei Paskevich
PY  - 2015
DO  - 10.4204/eptcs.186
UR  - https://arxiv.org/abs/1507.08375
ID  - 1507.08375
ER  -