Block or report user

Report or block vblot

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. QuasiAffineTransform

    Forked from dcoeurjo/QuasiAffineTransform

    Digital Quasi-Affine Transform code

    C++ 1

  2. SystemFtoBarRecursion

    Implementations of an interpretation of system F through bar recursion

    Coq 1

  3. qvox

    Volumetric data visualizer and editor

    C++

  4. smtcoq

    Forked from smtcoq/smtcoq

    Communication between Coq and SAT/SMT solvers

    OCaml

40 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

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