- ๐ 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 [email protected]
jhjeong314 / mytest Goto Github PK
View Code? Open in Web Editor NEWtest