Block or report user

Report or block clarus

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@coq-bench @coq-concurrency @coq-io

Popular repositories

  1. redux-ship

    Side effects with snapshots for Redux.

    JavaScript 620 17

  2. coq-chick-blog

    A blog engine written and proven in Coq.

    Coq 142 7

  3. falso

    A proof of false.

    Coq 65 2

  4. coq-of-ocaml

    Compile OCaml to Coq.

    OCaml 39 3

  5. smart-print

    A simple pretty-printing library.

    OCaml 19 4

  6. cybele

    A Coq plugin for simpler proofs by reflection or OCaml certificates.

    Coq 6 1

131 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

5 contributions in private repositories Aug 17 – Aug 18

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