Leanstral 1.5
Leanstral 1.5는 자동 정리 증명 기능을 위한 업데이트 모델입니다.
Leanstral 1.5 is an updated model aimed at automated proof synthesis.
AI가 선별한 아티클
Leanstral 1.5는 자동 정리 증명 기능을 위한 업데이트 모델입니다.
Leanstral 1.5 is an updated model aimed at automated proof synthesis.