Arctic Labs
stdpi
hUwUtao
normal kid in vn. sucking every last bit of performance. push random forked repo then abandon it
Sane OSSer @Team-Fuho @LangDuaMC @ThiccMC Ha Noi, Viet Nam
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
Nguyễn Thanh Châu
thanhchauns2
From Hanoi with a little wind.
Posts and Telecommunications Institute of Technology Ha Noi - Viet Nam
