소유자 · leanprover-community

leanprover-community

leanprover-community의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 4개

#1
mathlib4 ↗@leanprover-communityLean
Lean 4의 수학 라이브러리
★ 3,989+15최근 7일 스타 변화
#2
physlib ↗@leanprover-communityLean
물리학 연구 결과를 Lean으로 디지털화하는 프로젝트
★ 719+4최근 7일 스타 변화
#3
mathematics_in_lean ↗@leanprover-communityHTML
Mathematics in Lean 튜토리얼을 위한 사용자 홈 저장소입니다.
★ 584+2최근 7일 스타 변화
#4
lean4game ↗@leanprover-communityTypeScript
Lean 게임을 호스팅하기 위한 서버
★ 549+5최근 7일 스타 변화