soonhokong/lean-ppa-updater
Ubuntu PPA updater for Lean
Public GitHub Catalog
Discovered Oct 7, 2026
soonhokong / smtlectures
A collection of slides of the SMT course I held at University of Milan in fall 2011
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.
#34347755GitHub System ID
soonhokongOrganization / User
PublicVisibility
ActiveCatalog Status
More from soonhokong
soonhokong/CDash-1
Public repository.
soonhokong/test
Public repository.
soonhokong/sandbox
testing github