teorth/analysis
PublicA Lean companion to Analysis I
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%.
48/100Điểm tổng thể
- Độ phổ biến39
- Độ tươi80
- Cộng đồng48
- Tài liệu35
- 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/teorth/analysis.git
cd analysisRepository tương tự
Cùng chủ đề trong kho Bee.
- 1
openai/math—14.8k+1.2k
- 2
leanprover/lean4Lean 4 programming language and theorem prover9.5k+88
- 3
leanprover-community/mathlib4The math library of Lean 44.3k+49
- 4
- 5
google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.1.3k+15