@misc{indiciae60b335b643fa,
  title = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving},
  author = {Giselle Reis and Haniel Barbosa},
  year = {2019},
  doi = {10.4204/eptcs.301},
  url = {https://arxiv.org/abs/1908.08639},
  note = {Source identifier: 1908.08639}
}