Chủ đề · coq-library
coq-library
Các kho mã nguồn mở đang theo dõi được gắn thẻ coq-library, sắp xếp theo số sao.
Kho mã
3
Tổng số sao
2.152
Số sao trung bình
717
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng coq-library trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ coq-library.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Thư viện rocq này nhằm mục đích chính thức hóa một khối lượng lớn toán học bằng cách sử dụng quan điểm univalent.
★ 1.018+2Thay đổi số sao trong 7 ngày qua - #2★ 625+0Thay đổi số sao trong 7 ngày qua
- #3★ 508+1Thay đổi số sao trong 7 ngày qua
