@misc{bergeron2026barrel,
  author = {Bergeron, Ghilain and Trélat, Vincent},
  title = {{BARReL}: a modern backend for {Atelier B} in {Lean}},
  year = {2026},
  eprint = {2606.20121},
  archivePrefix = {arXiv},
  primaryClass = {cs.LO},
  doi = {10.48550/arXiv.2606.20121},
  url = {https://arxiv.org/abs/2606.20121},
}