Soonho Kong's repositories
logic_and_proof
CMU Undergrad Course
emacs-deferred
Simple asynchronous functions for emacs lisp
homebrew-emacs-plus
Emacs Plus formulae for the Homebrew package manager
Language:RubyMIT000
homebrew-lean
homebrew tap for Lean theorem prover
lean-ppa-updater
Ubuntu PPA updater for Lean
lean-windows
DO NOT FORK - It's only for triggering Windows build
leodemoura.github.com
homepage
Language:HTMLNOASSERTION000
MultiMarkdown-4
C implementation of MultiMarkdown; almost complete rewrite of MMD 3 (which was aka "peg-multimarkdown").
org-reveal
Exports Org-mode contents to Reveal.js HTML presentation.
repl
A simple REPL for Lean 4, returning information about errors and sorries.
Language:Lean000
smtlectures
A collection of slides of the SMT course I held at University of Milan in fall 2011