← 상세페이지

Mistral, Lean 4 전용 오픈소스 코드 에이전트 Leanstral 출시

endedScore 182026. 3. 16. 오후 10:05 ~ 2026. 3. 27. 오후 4:46

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

6

추적 기간

11일

Score

18

최대 doc_count

2