soonhokong/logic_and_proof
CMU Undergrad Course
Public GitHub Catalog
Discovered Oct 20, 2026
soonhokong / emacs-deferred
Simple asynchronous functions for emacs lisp
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.
#39799933GitHub System ID
soonhokongOrganization / User
PublicVisibility
ActiveCatalog Status
More from soonhokong
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
soonhokong/CDash-1
Public repository.