Download Linnk AI
•
AI-onderzoeksassistent
>
Inloggen
inzicht
-
정수 관련 수학 명제 자동 형식화
정수 n에 대한 수학적 명제들의 자동 형식화
이 논문은 Lean 정리 증명기를 사용하여 수학 명제를 자동으로 형식화하는 GFLean 프레임워크를 소개한다.
1