Block or report user

Report or block disteph

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. SRI-CSL/yices2

    The Yices SMT Solver

    SMT 91 12

  2. witan-org/witan

    An ocaml implementation of conflict-driven reasoning

    OCaml 6

  3. mld

    Ocamlbuild plugin: turns directory foo.mld into a module Foo

    OCaml

  4. tensorflow-ocaml

    Forked from LaurentMazare/tensorflow-ocaml

    OCaml bindings for TensorFlow

    OCaml

  5. AbsPatternMatch

    Coq formalisation of an Abstract Pattern-Matching / Abstract Focussing calculus - semantics and normalisation

    Coq

69 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

disteph has no activity yet for this period.

October 2018

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