GitHub repository: remagpie/mathematics_in_lean
Description: Lean study repository