Block or report user



Popular repositories

  1. cic-wf

    Haskell 2

  2. coq

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 1

  3. cicminus


0 contributions in the last year

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

Contribution activity First repository Joined GitHub

January - March 2018

jsacchini has no activity yet for this period.

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