/Socket.lean

A toy implementation of socket programming for Lean 4.

Primary LanguageCApache License 2.0Apache-2.0

Stargazers