chabulhwi
I aim to create video games and other media for learning STEM disciplines.
SemmalgilSeoul, Republic of Korea (South Korea)
Pinned Repositories
batteries
The "batteries included" extended library for Lean 4
chabulhwi
My GitHub profile
chzzk-custom-css
My custom CSS file for a Chzzk chat window
doc-gen4
Document Generator for Lean 4
elan
The Lean version manager
knk-solutions
My solutions to the exercises in K. N. King's C programming book
lean-notes
A collection of my short Lean code for reference
lean4
Lean 4 programming language and theorem prover
talks
Slides used in my talks
mathlib4
The math library of Lean 4
chabulhwi's Repositories
chabulhwi/knk-solutions
My solutions to the exercises in K. N. King's C programming book
chabulhwi/batteries
The "batteries included" extended library for Lean 4
chabulhwi/chabulhwi
My GitHub profile
chabulhwi/chzzk-custom-css
My custom CSS file for a Chzzk chat window
chabulhwi/doc-gen4
Document Generator for Lean 4
chabulhwi/elan
The Lean version manager
chabulhwi/elan-cleanup
A tool for cleaning up unused Lean toolchains
chabulhwi/lean-notes
A collection of my short Lean code for reference
chabulhwi/lean4
Lean 4 programming language and theorem prover
chabulhwi/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
chabulhwi/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
chabulhwi/mm0
Metamath Zero specification language
chabulhwi/SciLean
Scientific computing in Lean 4
chabulhwi/talks
Slides used in my talks
chabulhwi/theorem_proving_in_lean4
Theorem Proving in Lean 4 (fork of https://github.com/leanprover/theorem_proving_in_lean4)
chabulhwi/Tools
chabulhwi/SciLeanDemo
Demo project for SciLean
chabulhwi/SDL.lean
SDL2 bindings for lean