Tải xuống Linnk AI
•
Trợ lý nghiên cứu
>
Đăng nhập
thông tin chi tiết
-
수학 정리
정수 n에 대한 수학적 명제들의 자동 형식화
이 논문은 Lean 정리 증명기를 사용하여 수학 명제를 자동으로 형식화하는 GFLean 프레임워크를 소개한다.
1