Lean
복잡한 수학적 추론을 컴퓨터가 알고리즘적으로 무오류성을 검증할 수 있도록 변환하는 고성능 증명 보조 프로그래밍 언어
용례
"Lean과 같은 증명 보조 도구는 증명의 논리를 알고리즘적으로 검증하여 그 정확성을 의심의 여지 없이 입증합니다."
복잡한 수학적 추론을 컴퓨터가 알고리즘적으로 무오류성을 검증할 수 있도록 변환하는 고성능 증명 보조 프로그래밍 언어
"Lean과 같은 증명 보조 도구는 증명의 논리를 알고리즘적으로 검증하여 그 정확성을 의심의 여지 없이 입증합니다."