anthropics/formal-math
Xem trên GitHub- Star
- 239
- Fork
- 46
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 9
- Merge trung bình
- 1 ngày 19 giờ
- Pull request đã merge (30 ngày)
- 7
- Ngôn ngữ chính
- Lean
- Giấy phép
- Apache-2.0
- Lần push lên GitHub gần nhất
- 5/9/2026
- Lập chỉ mục gần nhất
- 13/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
-
Suggested references (Özlük 1996, CLLR 2014): the family-side analogue of H(λ) reaches 11/12 Đang mở
anthropics/formal-math#5 · 0 bình luận · 0 reaction · 0 người được giao ·
-
anthropics/formal-math#7 · 1 bình luận · 0 reaction · 0 người được giao ·
-
anthropics/formal-math#8 · 1 bình luận · 1 reaction · 0 người được giao ·
-
anthropics/formal-math#9 · 2 bình luận · 0 reaction · 0 người được giao ·
-
anthropics/formal-math#10 · 0 bình luận · 0 reaction · 0 người được giao ·
-
anthropics/formal-math#14 · 0 bình luận · 0 reaction · 0 người được giao ·
-
question 54 Đang mở
anthropics/formal-math#16 · 0 bình luận · 0 reaction · 0 người được giao ·
-
anthropics/formal-math#25 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Share prompt Đang mở
anthropics/formal-math#26 · 0 bình luận · 0 reaction · 0 người được giao ·