Block or report user

Report or block strub

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@EasyCrypt @math-comp @jasmin-lang

Popular repositories

  1. coqmt

    CoqMT

    OCaml 1 1

  2. elliptic-curves-ssr

    A Formal Library about Elliptic Curves for the Mathematical Components Library.

    Coq 1 3

  3. opam-coq-archive

    Forked from coq/opam-coq-archive

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1

  4. pprint-for-fsharp

    F# 1

  5. ssrmisc

    Coq

  6. math-comp

    Forked from math-comp/math-comp

    Mathematical Components

    Coq

242 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

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