Block or report user
Developer Program Member


@leanprover @dreal @snu-sf

Popular repositories

  1. lean

    Forked from leanprover/lean

    Lean Theorem Prover

    C++ 3

  2. lean-osx

    DO NOT FORK - It's only for triggering OSX build

    C++ 1 1

  3. software-foundations

    Exercises for Coq book (interactive theorem proving)

    HTML 1

  4. org-reveal

    Forked from yjwen/org-reveal

    Exports Org-mode contents to Reveal.js HTML presentation.

    Emacs Lisp

  5. mxe

    Forked from mxe/mxe

    MXE (M cross environment)


  6. lean-windows

    DO NOT FORK - It's only for triggering Windows build


1,086 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

November - December 2016

soonhokong has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.