algebraic-dev/Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
CApache-2.0
Stargazers
No one’s star this repository yet.
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
CApache-2.0
No one’s star this repository yet.