Lib.rs

› 密码学 › 魔法豆
#prover #back-end #boogie

已撤回 mv-prover-boogie-backend

由 Diem 所有权归 aptos-crates.

0.3.2 2022年8月23日
0.3.1 2022年8月13日
0.2.1 2022年7月22日
0.1.6 2022年7月5日
0.1.4 2022年5月23日

#24 in #prover

34 每月下载量
在 130 个crate（2个直接） 中使用

Apache-2.0

240KB
5K SLoC

Move prover Boogie后端

依赖项

~23–37MB
~570K SLoC