Block or report user

Report or block wimmers

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. munta

    Fully verified model checker for realtime systems

    Isabelle 5 1

  2. isabelle-finite

    Eisbach proof method for finiteness of sets


  3. pratt

    Forked from noschinl/pratt

    A formalization of Pratt's Prime Number Certificates in Isabelle

  4. UnicodeToLatex

    Converts Unicode Characters to Latex Symbols


212 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

wimmers has no activity yet for this period.

October 2018

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