Chủ đề · rocq
rocq
Các kho mã nguồn mở đang theo dõi được gắn thẻ rocq, sắp xếp theo số sao.
Kho mã
4
Tổng số sao
3.426
Số sao trung bình
857
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng rocq 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ẻ rocq.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Công cụ kiểm tra hình thức dành cho Rust: kiểm tra 100% các trường hợp thực thi trong chương trình của bạn để tạo ra các ứng dụng an toàn hơn.
★ 1.161+0Thay đổi số sao trong 7 ngày qua - #2
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.019+2Thay đổi số sao trong 7 ngày qua - #3★ 696+1Thay đổi số sao trong 7 ngày qua
- #4★ 550+1Thay đổi số sao trong 7 ngày qua
