This document provides detailed information about the LeanBin artifact, including where to find it, how to set it up, and how to use it. The up-to-date code can be found on GitHub: https://github.com/IgWod/leanbin with an archived snapshot available on Zenodo: https://zenodo.org/records/13343504.