Skip to content
🐓
🐓
Pro
Block or report user

Report or block erikmd

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@DCLL-MDL @ProofGeneral @Master-DL @M2DL @coq-community @validsdp @pfitaxel
Block or report user

Report or block erikmd

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Docker images of the Coq proof assistant [maintainer=@erikmd]

    Shell 13

  2. This repo is the new home of Proof General

    Emacs Lisp 303 52

  3. Docker images of mathcomp

    Dockerfile 4

  4. A Coq tactic for proving multivariate inequalities using SDP solvers

    Coq 4

  5. Tool to help maintain multi-branches, automated-build repos on Docker Hub

    Python 1

  6. A Bash wrapper for GNOME Screenshot

    Python 1

620 contributions in the last year

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

Contribution activity

November 2019

Created a pull request in coq/opam-coq-archive that received 10 comments

[extra-dev] Add coq-{libvalidsdp,validsdp}.dev

This adds the dev version of two opam packages developed with @proux01 in the ValidSDP repository. The latest master has been tested with MathComp …

+115 −1 10 comments

Created an issue in coq/bignums that received 9 comments

coq-bignums.dev fails with coq.dev since 2019-11-02

Kind: bug Last known successful build: BUILD_DATE=2019-11-01T03:56:55Z COQ_COMMIT=6694a1811dc4e961a81fb4464cf5aaf05f1b5752 Currently failing build:

9 comments

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

You can’t perform that action at this time.