github-actions[bot] Bot released v4.2.1 of LeanBitLab/LeanType · September 8, 2026 15:56 LeanBitLab / /LeanBitLab/LeanType v4.2.1 💖 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