jhjeong314 / jhjeong314

Config files for my GitHub profile.

• 👋 Hi, I’m @jhjeong314
• I got my PhD in mathematics from UC Berkeley.
• 👀 I’m interested in building a software for mathematical logic proof systems.
• 💞️ I’m looking to collaborate on nothing for now.
• 📫 You can reach me at [e-mail]