schildep/verified-3d-mesh-intersection
PublicFormally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
- Stars110+1 tuần này
- Forks2
- Watchers1
- Issues1
- Ngày tạo27/07/2026
- Cập nhật gần nhất01/08/2026
- Ngôn ngữLean
- Giấy phépMIT
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