LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4. - View it on GitHub