Lib.rs

› Cryptography › Magic Beans
#specification #formal #flattening #tool

yanked spec-flatten

was by Diem Owned by aptos-crates.

0.3.2 Aug 23, 2022
0.3.1 Aug 13, 2022
0.2.1 Jul 22, 2022
0.1.6 Jul 5, 2022
0.1.4 May 24, 2022

#8 in #flattening

Apache-2.0

42KB
913 lines

Formal specification flattening tool

Dependencies

~27–40MB
~619K SLoC