0.3.2 |
|
---|---|
0.3.1 |
|
0.2.1 |
|
0.1.6 |
|
0.1.4 |
|
#38 in #prover
36 downloads per month
Used in 130 crates
(2 directly)
240KB
5K
SLoC
Move prover Boogie backend
Dependencies
~25–38MB
~613K SLoC
0.3.2 |
|
---|---|
0.3.1 |
|
0.2.1 |
|
0.1.6 |
|
0.1.4 |
|
#38 in #prover
36 downloads per month
Used in 130 crates
(2 directly)
240KB
5K
SLoC
Move prover Boogie backend
~25–38MB
~613K SLoC