Lee-Janggun

2022-09-26-M_square

증명을 코딩하기 발표자료

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

crossbeam

Tools for concurrent programming in Rust

cs420

KAIST CS420: Compiler Design (2020 Spring)

CS454-2020-Team-2

KAIST CS454 Team 2. 2020 Fall

CS579-Project

Final Project for CS579 Computational Linguistics, Fall 2021, at KAIST.

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

kaist-cp.github.io

Paper-Review

Personal repository for paper reviews done by Janggun Lee.

promising-lib

Lee-Janggun/CS454-2020-Team-2

KAIST CS454 Team 2. 2020 Fall

Lee-Janggun/CS579-Project

Final Project for CS579 Computational Linguistics, Fall 2021, at KAIST.

Lee-Janggun/2022-09-26-M_square

증명을 코딩하기 발표자료

Lee-Janggun/crossbeam

Tools for concurrent programming in Rust

Lee-Janggun/cs420

KAIST CS420: Compiler Design (2020 Spring)

Lee-Janggun/kaist-cp.github.io

Lee-Janggun/Paper-Review

Personal repository for paper reviews done by Janggun Lee.

Lee-Janggun/rust

Empowering everyone to build reliable and efficient software.

Lee-Janggun/vscoq

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]