Build script support of lean-rust: checks the lean! blocks of a crate with Lean, generates their Rust code, and checks the proofs of the modelled functions against the lockfile
Build script support of lean-rust: checks the lean! blocks of a crate with Lean, generates their Rust code, and checks the proofs of the modelled functions against the lockfile
Details from crates.io ↗.
lean-rust-build was first seen on crates.io · New crates on Nov 8, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #34 of 50, reached on Nov 8, 04:08 UTC. It dropped off the list after Nov 8, 04:08 UTC.
This page has little history so far; it stays out of search results until the item has trended on two days or has more context.
Position on crates.io · New crates at every check (lower is better).
Best rank per day (UTC).
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 8, 04:08 UTC, after 1 day of trending.
#34 on crates.io · New crates, on Nov 8, 04:08 UTC. Trendoday checks this list every 120 minutes.
It was first seen on Nov 8, 2026 and has been on the list on 1 day (1 check) since.