Lib.rs

› Caching › Sledgehammer
#sledgehammer-bindgen #sledgehammer-utils #sledgehammer

sledgehammer_utils

by Evan Almloff

4 releases

0.2.1 Feb 9, 2024
0.2.0 Jul 19, 2023
0.1.1 Apr 14, 2023
0.1.0 Dec 3, 2022

#130 in Caching

Download history 713/week @ 2023-12-22 1027/week @ 2023-12-29 1882/week @ 2024-01-05 1112/week @ 2024-01-12 1054/week @ 2024-01-19 1050/week @ 2024-01-26 895/week @ 2024-02-02 798/week @ 2024-02-09 933/week @ 2024-02-16 1246/week @ 2024-02-23 1469/week @ 2024-03-01 1370/week @ 2024-03-08 1049/week @ 2024-03-15 1549/week @ 2024-03-22 1526/week @ 2024-03-29 1580/week @ 2024-04-05

5,884 downloads per month
Used in 11 crates (2 directly)

MIT license

16KB
445 lines

Utilities for sledgehammer-bindgen

Dependencies

~2MB
~26K SLoC