GitHub repository: juyonLee00/2024_Lean_Study
Primary language: Lean
Description: Lean을 공부하는 프로젝트입니다.