algebraic-sofia / Socket.lean

A fork of Xubaiw's Socket.lean, that builds with the latest Lean.

A small fork of https://github.com/xubaiw/Socket.lean, to keep it building with Lean main.