Lib.rs

› 关键词 #cryptography #fiat #extracted #generate #macro

coq

  1. fiat-crypto

    生成的 Rust 代码

    v0.2.9 872K #fiat #cryptography #extracted #coq

  2. roq_derive

    生成 Coq 代码的宏定义

    v0.1.0 #generate #coq #macro