Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
Hacker News (score: 28)
Found: March 25, 2026
ID: 3904
Description
Other
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
More from Hacker
No other tools from this source yet.