Lean
- 프로그래밍 언어
- 함수형 프로그래밍 언어
- 증명 보조기
Lean은 마이크로소프트에서 개발한 의존 타입 함수형 프로그래밍 언어이자 증명보조기이다.
교재
Mathematics in Lean
Hitchhiker's Guide to Logical Verification
Hitchhiker's Guide to Logical Verification (2024 Edition)
Lean은 마이크로소프트에서 개발한 의존 타입 함수형 프로그래밍 언어이자 증명보조기이다.
Hitchhiker's Guide to Logical Verification (2024 Edition)