leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs
0 comments · formalmethods
–Rank now
#24Best rank
–Score · 24h
8Score · 7d
2Days on list
3Snapshots
Oct 20, 2026First seen
Summary
leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs was first seen on Lobsters · Hottest on Oct 20, 2026. Since then it appeared in 3 hourly checks across 2 days, peaking at #24 on Oct 20, 23:20 UTC. It was last on the list on Oct 21, 00:20 UTC.
Rank history
Position on Lobsters · Hottest at every check (lower is better).
Last 14 days
Best rank per day (UTC).
24
24
Oct 14today
Metric history
Platform metric as reported by Lobsters.
Embed badge
Show that this trended, linking back to this page.
<a href="https://trendoday.com/lobsters/story/uplhpf-leanin-a-tokio-inspired-concurrency-library-for-lean-4-with"><img src="https://trendoday.com/badge/lobsters/story/uplhpf-leanin-a-tokio-inspired-concurrency-library-for-lean-4-with.svg" alt="leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs on TrendBoard" height="44"></a>
[](https://trendoday.com/lobsters/story/uplhpf-leanin-a-tokio-inspired-concurrency-library-for-lean-4-with)