World

LA 06:43NYC 09:43São Paulo 10:43London 14:43Paris 15:43Lagos 14:43Dubai 17:43Delhi 19:13Singapore 21:43Tokyo 22:43Sydney 00:43

Pulse

English · Not set Change ▾

Language Location Show all languages

Live scores ticker: Off · Turn on

Markets ticker: On · Turn off

Saved in a cookie on this device (and in your account when you are logged in). We never store your IP address.

Entities › name

Tokio-inspired

1 headlines · 1 outlets · 2026-10-20 → 2026-10-20 · Wikipedia ↗ · 🔒 Follow

Latest coverage

Lobsters ·14h ago ☆

Community aggregator
Country: United States

leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs

Comments

Technology Details Archived copy ↗

Manny here

You've used today's free reading time

Free is about 12 minutes a day, and you've used all of it. It fills up again in -- (at 12:00 AM EDT).

See plans

Bunch

$0.55/month

1.8¢ a day

about an hour of reading a day

Get Bunch

Manny's pick

Crate

$1.99/month

6.6¢ a day

about 2½ hours of reading a day

Get Crate

Banana Tree

$4.99/month

16.6¢ a day

all-day reading, no daily cap

Get Banana Tree

Try Crate free for 7 days · no card

Home and maps never use your time; each play of a video, live stream, podcast or audio briefing uses 1 banana (replays within 30 min are free). Card plans renew automatically until you cancel; cancel any time in Account. Renewal terms

Tokio-inspired

Latest coverage

leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs

Explore

News

Daily

Watch & listen

Sports

Local & weather

Understand & explore

Join

Banana News

Upgrade to unlock this

Keyboard shortcuts

Move

Go

Everywhere

Ask Ara