Block or report user

Report or block ptrbman

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Uppsala Universitet
  • Uppsala, Sweden

Pinned repositories

  1. uuverifiers/uppsat

    An approximating SMT solver

    Scala 9 3

238 contributions in the last year

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

Contribution activity

February 2019

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