Block or report user

Report or block parno

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. z3

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ 1

  2. FStar

    Forked from FStarLang/FStar

    An ML-like language aimed at program verification

    OCaml 1

  3. autobid

    Scripts to automatically generate submission bids for PC members

    Python 1

  4. Starspace

    Forked from facebookresearch/StarSpace

    Learning embeddings for classification, retrieval and ranking.


  5. Ironclad

    Forked from Microsoft/Ironclad

    The MSR Ironclad project builds provably secure and reliable systems.


405 contributions in the last year

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

Contribution activity

August 2018

Created an issue in FStarLang/FStar that received 3 comments

Unification/delta_depth issue

In the LowStar code below, the call to C.Loops.for fails if given the separately defined body, but it succeeds if given an equivalent lambda expres…


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