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

#4 in #move-prover

Download history 26/week @ 2023-10-31 24/week @ 2023-11-07 42/week @ 2023-11-14 16/week @ 2023-11-21 50/week @ 2023-11-28 25/week @ 2023-12-05 15/week @ 2023-12-12 4/week @ 2023-12-19 49/week @ 2023-12-26 4/week @ 2024-01-02 9/week @ 2024-01-09 5/week @ 2024-01-16 25/week @ 2024-01-23 25/week @ 2024-01-30 29/week @ 2024-02-06 103/week @ 2024-02-13

184 downloads per month
Used in 111 crates (8 directly)

Apache-2.0

7KB
97 lines


Move prover test utils

Dependencies

~11MB
~186K SLoC