karamel:基于 F* 程序的 C 代码提取工具项目

Star0

Star0

KaRaMeL is a tool for extracting low-level F* programs to readable C code

分支178 Tags2

项目介绍

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache-2.0 OCaml 4.6 K提交数c-language cryptography f-star proofs verification

定制我的领域

3551672访问 GitHub