토픽 · formal-mathematics
formal-mathematics
formal-mathematics 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
2
총 스타
2,538
평균 스타
1,269
비중
0.00%
관련 토픽
같은 리포지토리에 formal-mathematics 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 formal-mathematics 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1
Lean에서의 정글 증명을 위한 Copilot으로서의 LLM
★ 1,318+1최근 7일 스타 변화 - #2
Lean에서의 추측(conjecture) 형식화된 명제 모음입니다.
★ 1,220+13최근 7일 스타 변화
