- š 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 Goto Github PK
Name: Joohee Jeong
Type: User
Bio: I'm a logician and programmer.
Location: Daegu, S. Korea