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

#28 in #prover


Used in 130 crates (2 directly)

Apache-2.0

240KB
5K SLoC

Move prover Boogie backend

Dependencies

~24–37MB
~591K SLoC