lean4
Lean 4 offers resources for functional programming and theorem proving, including a quickstart guide, comprehensive tutorials, and installation documentation. It also provides instructions for contributing, updates, and answers to common questions, presenting a robust toolkit for enhancing programming and proving skills.
