@misc{indiciae742abb16d7ca,
  title = {A Verified Compiler for Probability Density Functions},
  author = {Manuel Eberl and Johannes Hölzl and Tobias Nipkow},
  year = {2017},
  doi = {10.1007/978-3-662-46669-8\_4},
  url = {https://arxiv.org/abs/1707.06901},
  note = {Source identifier: 1707.06901}
}