@misc{indiciaec3daedf40e68,
  title = {Bootstrapping LCF Declarative Proofs},
  author = {Phil Scott and Steven Obua and Jacques Fleuriot},
  year = {2017},
  url = {https://arxiv.org/abs/1703.05351},
  note = {Source identifier: 1703.05351}
}