Block or report user



Popular repositories

  1. coq-hh

    Hugo Herbelin's public Coq branches

    OCaml 4

  2. opam-coq-archive

    Forked from coq/opam-coq-archive

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1

  3. opam-repository

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 1

  4. reduction-effects

    A Coq plugin to add reduction side effects to some Coq reduction strategies

    OCaml 1

  5. Encyclopedia

    Forked from ProofSystem/Encyclopedia

    An Open Encyclopedia of Proof Systems


  6. coq-www

    Forked from coq/www

    Sources files of the website (static part)


792 contributions in the last year

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

Contribution activity

June 2018

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

Fixes #7811 (uncaught Not_found in notation printer related to "match").

Kind: bug fix Fixes #7811. This is blind fix to #7811, but according to the backtrace it can only be that (was a bug introduced in commit fd0cd48, …

+117 −3 9 comments

Created an issue in camlp5/camlp5 that received 3 comments

Is it possible to revert the effect of an `Entry.create`?

Hi @roglo, Would it make sense / be possible to provide some Entry.delete which reverts the effect of a Entry.create (assuming that the entry has n…


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