collaborators

1 paper

cs.LO2026

BARReL: a modern backend for Atelier B in Lean

Ghilain Bergeron, Vincent Trélat

BARReL is a Lean 4 library bridging Atelier B, an industrial tool for the B method, and the Lean proof assistant by enabling users to conduct their formal B developments -- up to m…