Networking Primitives in Lean4?

Stream: new members

[Daniel Geisz]

To what extent are there networking primitives in Lean4? Like for working with sockets, http, etc? A cursory google search turns up a lot of old content on this question.

[Henrik Böving]

You can use this for sockets: https://github.com/hargoniX/socket.lean/