Yeonwoo-Nam

Yeonwoo-Nam's Stars

• snu-sf-class/pp202402

  Programming Principles, SNU 4190.210, 2024 Fall

  18

• mekty2012/CS520-Theory-of-programming-language

  This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.

  Language:TeX41

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k587

• damhiya/Coq-tips

  10

• mekty2012/Coq-Study

  This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

  Language:Coq1