soonhokong/logic_and_proof
CMU Undergrad Course
Public GitHub Catalog
Discovered Sep 27, 2026
soonhokong / org-reveal
Exports Org-mode contents to Reveal.js HTML presentation.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10956341GitHub System ID
soonhokongOrganization / User
PublicVisibility
ActiveCatalog Status
More from soonhokong
soonhokong/emacs-deferred
Simple asynchronous functions for emacs lisp
soonhokong/lean-ppa-updater
Ubuntu PPA updater for Lean
soonhokong/smtlectures
A collection of slides of the SMT course I held at University of Milan in fall 2011