Lib.rs

› Cryptography › Magic Beans
#prover #back-end #boogie

yanked mv-prover-boogie-backend

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 23, 2022

#24 in #prover

34 downloads per month
Used in 130 crates (2 directly)

Apache-2.0

240KB
5K SLoC

Move prover Boogie backend

Dependencies

~23–37MB
~570K SLoC