- 👋 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]
I'm a logician and programmer.
- Daegu, S. Korea
- https://jhjeong.mindconnect.cc
Block or Report
Block or report jhjeong314
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
vscode-extension-samples
vscode-extension-samples PublicForked from microsoft/vscode-extension-samples
Sample code illustrating the VS Code extension API.
TypeScript
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.