Skip to content
Avatar
49 followers · 0 following · 1

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@coq
Block or Report

Block or report herbelin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. coq-hh

    Hugo Herbelin's public Coq branches

    OCaml 4

  2. LMFI-HoTT

    TeX 2 3

  3. opam-coq-archive

    Forked from coq/opam-coq-archive

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1

  4. opam-repository

    Forked from ocaml/opam-repository

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

    OCaml 1

  5. Encyclopedia

    Forked from ProofSystem/Encyclopedia

    An Open Encyclopedia of Proof Systems

    TeX

  6. coq-www

    Forked from coq/www

    Sources files of the coq.inria.fr website (static part)

    HTML

1,226 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

August 2021

Created 3 commits in 3 repositories
Created 1 repository

Created a pull request in coq/ceps that received 12 comments

Document on primitive projections

This CEPS is to adopt a strategy with respect to the different paths followed by primitive projections. Rendered here Feel free to edit, refine, ex…

+70 −0 • 12 comments
Opened 2 other pull requests in 2 repositories
Reviewed 2 pull requests in 2 repositories
coq/ceps 1 pull request
coq/coq 1 pull request

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