lean-dojo의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Lean에서의 정글 증명을 위한 Copilot으로서의 LLM
프로그래밍 방식으로 Lean과 상호작용하고 데이터를 추출하기 위한 도구
