王虚白

icon company ACEM, SJTU icon location Shanghai, China icon location Only responsive at weekend maybe

Results 1 repositories owned by 王虚白

Socket.lean

25
Stars
9
Forks
Watchers

A toy implementation of socket programming for Lean 4.

verified publisher icon xubaiw