Block or report user

Report or block joshpoll

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. hello-world

    trezor-git test

  2. hello-world2

    New hello-world

  3. CPDT-examples-in-Lean


  4. lean

    Forked from leanprover/lean

    Lean Theorem Prover


  5. symbolic_algebra

    390P project redone in ReasonML

  6. web-cse440-wi18

    Forked from uwcse440/web-cse440-wi18


163 contributions in the last year

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

Contribution activity

October 2018

Created a pull request in dmlc/tvm that received 11 comments

[Relay] Fix IncompleteType Alpha Equality Checking

Thanks for contributing to TVM! Please refer to guideline for useful information and tips. After the pull request i…

+2 −5 11 comments

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