Block or report user

Popular repositories

  1. cosa

    A thing about Coq-verified Shape Analysis

    3 Coq

  2. finset

    A Coq library for extensional finite sets and comprehension

    2 Coq

  3. fulltrees

    Balancing lists: a proof pearl

    1 TeX

  4. topocircuit

    1 OCaml

  5. tacengine

    My unfinished and unpolished reflection on designing and implementing a tactic engine

    1 TeX

  6. ocaml-hollow-heap

    An implementation of hollow heaps in Ocaml

    1 OCaml

991 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2016

Created 3 repositories

Created a pull request in coq/coq that received 13 comments

Fix #4416

In Ftactic the number of results could desynchronise with the number of goals when some goals were solved by side effect in a different branch of a D…

13 comments +41 −4

Opened 1 other pull request

45 contributions in private repositories Oct 3 – Oct 24

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