Lib.rs

› Cryptography › Magic Beans
#specification #flatten #spec-flatten

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

#33 in #flatten

Apache-2.0

42KB
913 lines

Formal specification flattening tool

Dependencies

~28–41MB
~650K SLoC