본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
탐색
보관함
로그인
홈
트렌딩
커뮤니티
보관함
프로필
관련 기사 바로가기
yamafaktory/formal: Lean 4 증명 엔진 기반의 LLM 구동 코드 속성 검사기
← 피드로 돌아가기
Mathlib
Libraries (AI 라이브러리)
약 1개 아티클
관련 태그:
Lean 4