Lib.rs

› 密码学 › 魔法豆
#specification #formal #flattening #tool

已下架 spec-flatten

由 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月24日

在 #flattening 中排名第 8

Apache-2.0

42KB
913 行

形式化规格化展平工具

依赖项

~27–40MB
~619K SLoC