@misc{indiciae6c03baf22cd4,
  title = {Sharing a Library between Proof Assistants: Reaching out to the HOL Family},
  author = {François Thiré},
  year = {2018},
  doi = {10.4204/eptcs.274.5},
  url = {https://arxiv.org/abs/1807.01873},
  note = {Source identifier: 1807.01873}
}