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

#127 in Caching

Download history 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 1788/week @ 2024-04-05 2063/week @ 2024-04-12 2104/week @ 2024-04-19 2774/week @ 2024-04-26 3140/week @ 2024-05-03 2826/week @ 2024-05-10

11,076 downloads per month
Used in 12 crates (3 directly)

MIT license

16KB
445 lines

Utilities for sledgehammer-bindgen

Dependencies

~2MB
~27K SLoC