network and sockets

Stream: Is there code for X?

[Sterea Stefan Octavian]

Are there any definitions in the library that would allow doing networking in Lean using TCP/UDP sockets and the like? I searched the libarary for terms like "socket", "unix", "network" but no match

[Adam Topaz]

There was some recent discussion about this here: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/http.20requests