Seoul, Republic of Korea

임기정

Expert
@KiJeong-Lim
blog.naver.com/theblogid

portfolio. My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

14

DschingisKhan. He Reiter, Ho Reiter, He Reiter, Immer weiter!

9

ppap. Project Putting All Power!

6

PlanHol. a Programming LANguage with Higher-Order Logic

4

LogicStudy. my notes for mathematical logic

3

V9. capstone

2

Homeworks. Haskell

2

Fol-archived. A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems

1

KWON. Haskell

1

proof. Coq

1

LoL. Coq

1

Ordinal. Rocq Prover

1

cxxs. C++ srcs

1

Capstone. C++

1
14
Apply