google-deepmind/formal-conjectures
PublicA collection of formalized statements of conjectures in Lean.
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%.
61/100Điểm tổng thể
- Độ phổ biến28
- Độ tươi100
- Cộng đồng70
- Tài liệu35
- Phát hành100
- 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/google-deepmind/formal-conjectures.git
cd formal-conjecturesRepository 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
lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean1.3k+3
- 4
fabio-rovai/open-ontologiesPlan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.1.1k+41
- 5
morluto/jacobianComposable mathematics tools for agents285+76