GitHub repository: yangky11/llm_assisted_mathematics_in_lean
Primary language: HTML
Description: The user home repository for the Mathematics in Lean tutorial.