토픽 · lean4
lean4
lean4 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
10
총 스타
21,235
평균 스타
2,124
비중
0.00%
관련 토픽
같은 리포지토리에 lean4 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 lean4 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1★ 8,928+49최근 7일 스타 변화
- #2★ 3,974+57최근 7일 스타 변화
- #3
인공지능의 대중화를 목표로 하며 고평가된 Y Combinator 스타트업에 대한 무료 오픈소스 대안을 제공하도록 설계된 엔터프라이즈급 AI 에이전트 라이브러리
★ 2,799+14최근 7일 스타 변화 - #4
Lean에서의 정글 증명을 위한 Copilot으로서의 LLM
★ 1,318+4최근 7일 스타 변화 - #5
Lean에서의 추측(conjecture) 형식화된 명제 모음입니다.
★ 1,219+11최근 7일 스타 변화 - #6★ 832+4최근 7일 스타 변화
- #7★ 570+1최근 7일 스타 변화
- #8★ 546+3최근 7일 스타 변화
- #9
종이와 펜으로 증명하는 듯한 느낌을 주는 Lean 정리 증명 인터페이스
★ 543+2최근 7일 스타 변화 - #10★ 526+2최근 7일 스타 변화
