Arctic Labs
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
PastaGringo
PastaGringo
Session ID :
059dce3709e7ad272ed8d598b5a26668c96a769fed6fab5ae192d56b8b42dbd160
In Da Cloud
