soonhokong/lean-ace
Ace (Ajax.org Cloud9 Editor) for Lean Theorem Prover
Public GitHub Catalog
Discovered Sep 30, 2026
soonhokong / benchmark
Benchmarks
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#19348878GitHub System ID
soonhokongOrganization / User
PublicVisibility
ActiveCatalog Status
More from soonhokong
soonhokong/drio-osx
DO NOT FORK - It's only for triggering OSX build
soonhokong/drio
Public repository.
soonhokong/travis_test
Public repository.