Bulhwi Cha's repositories
knk-solutions
My solutions to the exercises in K. N. King's C programming book
batteries
The "batteries included" extended library for Lean 4
Language:LeanApache-2.0000
chzzk-custom-css
My custom CSS file for a Chzzk chat window
doc-gen4
Document Generator for Lean 4
Language:LeanApache-2.0000
elan
The Lean version manager
Language:RustApache-2.0000
elan-cleanup
A tool for cleaning up unused Lean toolchains
Language:LeanApache-2.0000
lean-notes
A collection of my short Lean code for reference
Language:LeanApache-2.0000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Language:LeanApache-2.0000
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Language:Lean000
mm0
Metamath Zero specification language
Language:RustCC0-1.0000
SciLean
Scientific computing in Lean 4
Language:LeanApache-2.0000
theorem_proving_in_lean4
Theorem Proving in Lean 4 (fork of https://github.com/leanprover/theorem_proving_in_lean4)
Language:JavaScriptApache-2.0000
Language:C000
SDL.lean
SDL2 bindings for lean
Language:LeanMIT000