CakeML/cakeml
PublicCakeML: A Verified Implementation of ML
- Stars1.2k+2 tuần này
- Forks110
- Watchers41
- Issues238
- Ngày tạo09/10/2012
- Cập nhật gần nhất29/10/2026
- Ngôn ngữStandard ML
- Giấy phépBSD-3-Clause
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