github-actions[bot] Bot released v4.2.2 of LeanBitLab/LeanType · September 9, 2026 06:08 LeanBitLab / /LeanBitLab/LeanType v4.2.2 💖 Support Our WorkAs an open-source, community-funded project, we operate on a very limited budget. If LeanType helps you daily, please consider supporting us on GitHub Sponsors or Open Collective.… Read more