Lean

Lean은 마이크로소프트에서 개발한 의존 타입 함수형 프로그래밍 언어이자 증명보조기이다.

외부 링크