Giters
hargoniX
/
socket.lean
sockets for Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
1
Issues:
2
Forks:
9
hargoniX/socket.lean Issues
Segfault when trying to connect to nonexistent socket
Updated
20 days ago
Comments count
2
Incorrect address_family stored in `SockAddr4`.
Closed
2 months ago