Computing. Programming.
Interactive theorem proving.

Hello. I'm Khanh.

I'm a self-taught programmer, currently interested in interactive theorem proving. I have done a lot of stuff throughout my programming life.

My full name is Huỳnh Trần Khanh, but my first name is Khanh, not Huỳnh. The last name is placed first in Vietnamese names.

Programming languages

I consider myself proficient in JavaScript and its ecosystem. I can also write C, C++ and Rust code. I do interactive theorem proving in Lean.

How to reach me

I tend to respond pretty quickly and I hope you do the same too. When a response is not needed, I usually indicate so explicitly.