GitHub repository: DhyeyMavani2003/mathematics_in_lean
Description: The user home repository for the Mathematics in Lean tutorial.