#prover #back-end #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

#54 in #prover

Download history 19/week @ 2025-02-08 10/week @ 2025-02-15 3/week @ 2025-02-22 4/week @ 2025-03-01 2/week @ 2025-03-15 1/week @ 2025-04-12

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

Apache-2.0

240KB
5K SLoC


Move prover Boogie backend

Dependencies

~25–38MB
~610K SLoC