Block or report user

Report or block jannikvierling

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. sat


  2. stack-based-languages-ws17


  3. gapt

    Forked from gapt/gapt

    GAPT: General Architecture for Proof Theory


364 contributions in the last year

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

Contribution activity

November 2018

jannikvierling has no activity yet for this period.

October 2018

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