openai/math
PublicKhông có mô tả
Bee AI phân tích repositoryBETA
AI đọc README và cây file để tóm tắt, gợi ý cách dùng và đánh giá repository. Mọi con số lấy từ kho Bee, không do AI ước lượng.
Chưa có bản phân tích AI cho repo này
Bee AI sẽ đọc README và cây file rồi tóm tắt bằng tiếng Việt và tiếng Anh, mất khoảng 30–60 giây.
Tối đa 5 lượt mỗi giờ cho một địa chỉ IP · ngân sách chung theo ngày.
Điểm BeeTính thuần từ số liệu trong kho Bee, không phải AI chấm: bách phân vị sao 30% · độ tươi lần push 25% · fork và watcher 15% · README, giấy phép, mô tả 20% · có bản phát hành 10%.
77/100Điểm tổng thể
- Độ phổ biến92
- Độ tươi100
- Cộng đồng51
- Tài liệu75
- Phát hành20
- Mức độ khóCó sau khi phân tích
- Phù hợp vớiCó sau khi phân tích
- Loại dự ánCó sau khi phân tích
- Giấy phépApache-2.0
Hướng dẫn nhanh
Các bước để bắt đầu với repository này.
bash
git clone https://github.com/openai/math.git
cd mathRepository tương tự
Cùng chủ đề trong kho Bee.
- 1
leanprover/lean4Lean 4 programming language and theorem prover9.5k+88
- 2
leanprover-community/mathlib4The math library of Lean 44.3k+49
- 3
openai/NavierStokesAndEulerLean certificates accompanying Navier-Stokes and Euler results2.1k+31
- 4
teorth/analysisA Lean companion to Analysis I2k+7
- 5
google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.1.3k+10