A small fork of https://github.com/xubaiw/Socket.lean, to keep it building with Lean main.
algebraic-sofia / socket.lean Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alex-wellbelove/socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
Home Page: https://xubaiw.github.io/Socket.lean/
License: Apache License 2.0