Socket.lean

A toy implementation of socket programming for Lean 4.

Stars

21

Forks

5

Language

C

Last Updated

Jun 01, 2023

Similar Repos