TY  - RPRT
TI  - BARReL: a modern backend for Atelier B in Lean
AU  - Ghilain Bergeron
AU  - Vincent Trélat
PY  - 2026
UR  - https://arxiv.org/abs/2606.20121
ID  - 2606.20121
ER  -