#prover #backend #boogie

yanked mv-prover-boogie-backend

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

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

Apache-2.0

240KB
5K SLoC


Move prover Boogie backend

Dependencies

~22–37MB
~580K SLoC