@misc{indiciaef8d58f0de536,
  title = {An implementation of Deflate in Coq},
  author = {Christoph-Simon Senjak and Martin Hofmann},
  year = {2016},
  url = {https://arxiv.org/abs/1609.01220},
  note = {Source identifier: 1609.01220}
}