Block or report user

Popular repositories

  1. abella

    Forked from abella-prover/abella

    An interactive theorem prover based on lambda-tree syntax

    OCaml 1

  2. dsss17

    Forked from DeepSpec/dsss17

    Coq

  3. deepspec-pocs

    Forked from mit-pdos/deepspec-pocs

    Coq

6 contributions in the last year

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

Contribution activity First issue Joined GitHub

January 2018

yvting has no activity yet for this period.

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