Chuyển tới nội dung chính
buildradar
Sign in

CakeML/cakeml

@CakeML

CakeML: Bản cài đặt đã được xác thực của ML

Sao
1.190
Fork
101
Ngôn ngữ
Standard ML
Giấy phép
BSD-3-Clause
Push gần nhất
6 ngày trước
Standard MLformal-verificationprogramming-languagecompilersmlholtheorem-provingformal-semantics

Chưa có intel liên quan

Kho mã này chưa xuất hiện trong bất kỳ nguồn nào radar theo dõi. Bộ thu thập chạy theo lịch — hãy quay lại khi nó bao quát kho mã này.