Thomas Stephens
tmsteph
I am ready to develop open source applications!
Interested in VR, AI, and ergonomic user friendly design!
3DVR Productions San Diego, CA
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam