×
Grow Open Source Bounties Hackathons Grants Quests Kudos
(0 Followers)

JHZheng

@zjhmale

(∀ m. isMan(m) → isMortal(man)) → isMan(zjh) → isMortal(zjh)
(0 ratings)

|

0 ContributorRank
  • 0 Transactions ( Details )
  • - 0 Bounties completed
  • - 0 Hackathons participated
  • - 0 Tips received
  • - 0 Kudos received
  • - 0 Kudos authored
  • - 0 Grants created
  • $0 Earned
Coq Clojure OCaml C++ CoffeeScript JavaScript Python Ruby Shell Rust Go VimL Haskell Emacs Lisp Vim script Frege TypeScript Kotlin Scala F# Standard ML Idris C CSS HTML
Med Activity
  • Reliability: Unproven
    Details
  • Joined: 6 months, 2 weeks ago
  • Repeat Funders: 0
  • Longest Streak: 4 weekdays