Lib.rs

› Cryptography › Magic Beans
#backend

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
Download history 79/week @ 2023-05-31 5/week @ 2023-06-07 49/week @ 2023-06-14 65/week @ 2023-06-21 43/week @ 2023-06-28 373/week @ 2023-07-05 36/week @ 2023-07-12 118/week @ 2023-07-19 57/week @ 2023-07-26 27/week @ 2023-08-02 31/week @ 2023-08-09 65/week @ 2023-08-16 42/week @ 2023-08-23 23/week @ 2023-08-30 50/week @ 2023-09-06 24/week @ 2023-09-13

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

Apache-2.0

240KB
5K SLoC

Move prover Boogie backend

Dependencies

~20–33MB
~528K SLoC