Block or report user

Report or block maximedenes

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@coq @QuickChick @micro-policies @CoqEAL

Popular repositories

  1. native-coq

    Coq with native compilation, as well as machine integers and arrays !

    OCaml 50 10

  2. coq-amd64

    Coq 11 3

  3. coq-8.5-demo

    TeX 1 1

  4. coqFFI

    OCaml 1

  5. opam-repository

    Forked from ocaml/opam-repository

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

    OCaml 1

  6. opam-coq-archive

    Forked from coq/opam-coq-archive

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1

1,493 contributions in the last year

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

Contribution activity

November 2018

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

[obligations] Restrict hack catching exceptions to tactics

I hit a case where the error is silently dropped, leading to an inconsistent state. This logic seems to be a conscious choice, introduce for exampl…

+50 −49 19 comments

Created an issue in coq/coq that received 9 comments

Kernel anomaly with universes and inlining

I don't understand how univ poly and functor inlining work together, so I wrote one example: Module Type T. Polymorphic Parameter Inline t@{i} : Ty…


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