TY  - RPRT
TI  - Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
AU  - Giselle Reis
AU  - Haniel Barbosa
PY  - 2019
DO  - 10.4204/eptcs.301
UR  - https://arxiv.org/abs/1908.08639
ID  - 1908.08639
ER  -