lean1 [Lean] 0. 코딩으로 수학 증명하기 : 왜 내가 lean을 배우게 되었는가? 오픈소스 컨트리뷰션에서 lean 언어를 배우고, 현재까지 스터디를 진행하고 있다. 내가 이 언어에 대해 흥미를 가지게 된 과정을 기록하고, lean 언어에 대해 정리해놓으려 한다. 1. lean?2. lean 언어의 사용 용도3. 나는 왜 lean을 공부하게 되었을까?4. lean 학습 자료5. 후기 1. lean?lean은 대화형 방식을 사용해 수학적 정리를 증명하는 정리 증명기이자, 실제로 실행 가능한 프로그램을 작성가능한 함수형 프로그래밍 언어이다. 2. lean 언어의 사용 용도주로 수학계의 문제 해결, 특정 문제에 대한 검증, 수학적 논리 학습 등에 사용한다. * Liquid Tensor Experiment= lean을 사용해 Condensed Mathematics(응집 수학)의 .. 2025. 12. 8. 이전 1 다음