google-deepmind/formal-conjectures
PublicA collection of formalized statements of conjectures in Lean.
- Stars1.3k+13 tuần này
- Forks532
- Watchers17
- Issues853
- Ngày tạo12/05/2025
- Cập nhật gần nhất14/10/2026
- Ngôn ngữLean
- Giấy phépApache-2.0
Repo này không có README
Chủ repo chưa viết README, hoặc file chưa được đồng bộ về Bee. Xem trực tiếp trên GitHub.
Mở trên GitHub