soonhokong/logic_and_proof
CMU Undergrad Course
Public GitHub Catalog
Discovered Oct 1, 2026
soonhokong / drio-osx
DO NOT FORK - It's only for triggering OSX build
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.
#21928203GitHub 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