Block or report user


@coq @math-comp

Popular repositories

  1. coq

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 2

  2. matita

    Matita proof assistant (not official)

    OCaml 1

  3. opam

    Forked from ocaml/opam

    OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

    OCaml 1

  4. opam-repository

    Forked from ocaml/opam-repository

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

    OCaml 1

  5. opam-coq-archive

    Forked from coq/opam-coq-archive

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1

  6. repo-v8.5


1,078 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

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

coq_makefile: "-open API" is not a directory (fixup 41489a97)

It did not blow up because the makefile would prefix -I coqpath/ resulting in -I coqpath/-open -I coqpath/API and ocamlc does not complain if you p…

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