@misc{indiciae0ef2577eff1b,
  title = {The Directed Van Kampen Theorem in Lean},
  author = {Henning Basold and Peter Bruin and Dominique Lawson},
  year = {2023},
  doi = {10.4230/lipics.itp.2024.8},
  url = {https://arxiv.org/abs/2312.06506},
  note = {Source identifier: 2312.06506}
}