[*] Lean 코드 컴파일러 설정 #2
Description
Is your feature request related to a problem? Please describe.
- Lean4 코드 참고하여 문법 이해&정리 및 컴파일 가능한 환경 구축
Describe the solution you'd like
A clear and concise description of what you want to happen.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context