A Mechanized Theory of the Box Calculus. - Joseph Fourment; Yichen Xu (CoRR, 2023)