👋 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 jhjeong314@gmail.com