GitHub repository: xubaiw/lean4-socket
Primary language: C
Created: 2021-10-02T04:44:36Z
Description: A toy implementation of socket programming for Lean 4.