Block or report user

Report or block germanD

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@imdea-software

Popular repositories

  1. icfp2013-papers

    Forked from gasche/icfp2013-papers

    List of ICFP'13 accepted papers, with links to preprint or additional information when available

  2. misc

    Sheer randomness

    Coq

  3. ssr-extras

    Some extra lemmas for ssReflect libraries

    Coq

  4. germanD.github.io

    Home page v.2

    HTML

124 contributions in the last year

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

Contribution activity

July 2018

1 contribution in private repositories Jul 11

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