KiJeong-Lim

Follow

임기정 KiJeong-Lim

Follow

I am a student at Chonnam National University, majoring in mechanical engineering.

30 followers · 42 following

Gwangju, Republic of Korea

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Block or Report

Block or report KiJeong-Lim

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

portfolio Public

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.

8
DschingisKhan Public

He Reiter, Ho Reiter, He Reiter, Immer weiter!

Coq 9

357 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to KiJeong-Lim/DschingisKhan, kwanghoon/petitsql, KiJeong-Lim/Homeworks and 9 other repositories

Contribution activity

March 2023

KiJeong-Lim has no activity yet for this period.