FStarLang/FStar
PublicA Proof-oriented Programming Language
- Stars3.1k+7 tuần này
- Forks267
- Watchers70
- Issues519
- Ngày tạo04/04/2014
- Cập nhật gần nhất29/10/2026
- Ngôn ngữF*
- 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