Block or report user

Report or block moajohansson

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. IsaHipster

    Theory Exploration for Isabelle using HipSpec

    Isabelle 9 2

  2. haskell-platform

    Forked from mzero/haskell-platform


  3. ai-in-sports

    Jupyter Notebook

39 contributions in the last year

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

Contribution activity

January - February 2019

moajohansson has no activity yet for this period.

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