- I'm working on CoqCP, a repository of formalized competitive programming proofs.
- CoqCP is my bachelor thesis. Wish me luck!
- I'm on the Coq Team. Ctrl+F for my full name!
- I am familiar with JavaScript/TypeScript and Rust. I can code a well tested React app with the React Testing Library.
- I'm a former Lean user and an avid Coq user.
- I like competitive programming but I'm not good at it.
- I set some challenges on the Code Golf Stack Exchange site.
- I operated a small Tor relay. Had to shut it down because of cost.
- I wrote large parts of this game on a mobile phone.
- I coded HCMIU Map wholly on a mobile phone.
huynhtrankhanh Goto Github PK
Name: Huỳnh Trần Khanh
Type: User
Company: @coq-community
Bio: formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
Location: Vietnam