chabulhwi

Follow

Bulhwi Cha chabulhwi

Follow

I aim to create video games and other media for learning STEM disciplines.

28 followers · 352 following

Semmalgil
Seoul, Republic of Korea (South Korea)
02:54 (UTC +09:00)
https://www.semmalgil.com
https://sr.ht/~chabulhwi

Achievements

Achievements

Organizations

chabulhwi/README.md

English | 한국어[Korean]

The GitHub repositories I created are read-only mirrors of the ones hosted on SourceHut.
If you want to send patches upstream, please refer to https://man.sr.ht/git.sr.ht/#sending-patches-upstream.

Pinned Loading

knk-solutions knk-solutions Public

My solutions to the exercises in K. N. King's C programming book

C 1
tpil-solutions tpil-solutions Public

My solutions to the exercises in "Theorem Proving in Lean 4"

Lean 1 1
lean-notes lean-notes Public

A collection of my short Lean code for reference

Lean 1
talks talks Public

Slides and short notes used for my talks

Typst
NNG4 NNG4 Public

Forked from leanprover-community/NNG4

Korean translation of the Natural Number Game

Lean
lean4game lean4game Public

Forked from leanprover-community/lean4game

Korean translation of the Lean web game server

TypeScript