@misc{indiciae79e9b4e4fc01,
  title = {HepLean: Digitalising high energy physics},
  author = {Joseph Tooby-Smith},
  year = {2024},
  url = {https://arxiv.org/abs/2405.08863},
  note = {Source identifier: 2405.08863}
}