Vale
AssessCông cụ
Khung lập trình assembly đã được kiểm chứng, nhúng trong F*.
Vì sao ở đây
Xếp vào Assess: 1 bài bằng chứng từ 1 nguồn, chủ yếu là hoạt động mã nguồn mở, 1 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.
Bằng chứng (1)
- 5Hacker News·2/8/2026open_sourceNgôn ngữ lập trình định hướng chứng minh F*
F* là một ngôn ngữ lập trình định hướng chứng minh đa dụng, kết hợp kiểu phụ thuộc, tự động hóa chứng minh dựa trên SMT và chứng minh tương tác bằng tactic. Ngôn ngữ này hỗ trợ lập trình hàm và lập trình có hiệu ứng, mặc định biên dịch sang OCaml, đồng thời có thể xuất sang C, F#, Wasm hoặc assembly thông qua các bộ công cụ liên quan.