Chủ đề · proofs
proofs
Các kho mã nguồn mở đang theo dõi được gắn thẻ proofs, sắp xếp theo số sao.
Kho mã
3
Tổng số sao
3.413
Số sao trung bình
1.138
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng proofs 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ẻ proofs.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Mã nguồn có thể chạy được để giải các bài toán Project Euler bằng Java, Python, Mathematica, Haskell.
★ 1.959-1Thay đổi số sao trong 7 ngày qua - #2★ 948+19Thay đổi số sao trong 7 ngày qua
- #3
KaRaMeL là một công cụ để trích xuất các chương trình F* cấp thấp thành mã C dễ đọc
★ 518+0Thay đổi số sao trong 7 ngày qua
