soonhokong/logic_and_proof
CMU Undergrad Course
Public GitHub Catalog
Discovered Oct 7, 2026
soonhokong / lean-ppa-updater
Ubuntu PPA updater for Lean
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.
#34462865GitHub System ID
soonhokongOrganization / User
PublicVisibility
ActiveCatalog Status
More from soonhokong
soonhokong/emacs-deferred
Simple asynchronous functions for emacs lisp
soonhokong/smtlectures
A collection of slides of the SMT course I held at University of Milan in fall 2011
soonhokong/CDash-1
Public repository.