@misc{indiciae02931b371a2c,
  title = {A systematic way of analysing proofs in probability theory},
  author = {Morenikeji Neri and Paulo Oliva and Nicholas Pischke},
  year = {2026},
  url = {https://arxiv.org/abs/2604.08078},
  note = {Source identifier: 2604.08078}
}