정수 n에 대한 수학적 명제들의 자동 형식화

이 논문은 Lean 정리 증명기를 사용하여 수학 명제를 자동으로 형식화하는 GFLean 프레임워크를 소개한다.