leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofshttps://github.com/scidonia/leanin
Comments
🔍 Search
Active Interests
Trends
Top Contributors
Hot Discussions
n/techAI adoption by industry shows what other sectors can learn▲ 1 • 💬 0n/tech3+ useful features included with Google One that people ignore▲ 1 • 💬 0n/techShow HN: Armite - a local Azure emulator with a real identity plane and RBAC▲ 1 • 💬 0n/techShow HN: Proxium – Self-hosted HTTP/SOCKS5 proxy with a web admin UI▲ 1 • 💬 0n/techShow HN: Cliqqe – Meet 4 new people over a video call every week▲ 1 • 💬 0