Joohee Jeong (jhjeong314)

jhjeong314

Geek Repo

Location:Daegu, S. Korea

Home Page:https://jhjeong.mindconnect.cc

Github PK Tool:Github PK Tool

Joohee Jeong's repositories

Proofmood

Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.

Language:Jupyter NotebookStargazers:5Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:1Issues:0

jhjeong314

Config files for my GitHub profile.

Stargazers:0Issues:0Issues:0

mytest

test

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

vscode-extension-samples

Sample code illustrating the VS Code extension API.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0