Pinned Repositories
docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
docker-keeper
Mirror of https://gitlab.com/erikmd/docker-keeper [maintainer=@erikmd]: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.
git-scripts
Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)
tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
learn-ocaml
A Web Application for Learning OCaml
opam-switch-mode
Select OCaml opam switches via a menu or using a command
PG
This repo is the new home of Proof General
docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
erikmd's Repositories
erikmd/docker-coq-travis-ci-demo-1
Docker-Coq + Travis CI demo 1
erikmd/ssr-under-tac
(A tactic to rewrite under lambdas in SSReflect/MathComp) => see https://github.com/coq/coq/pull/9651
erikmd/coq-images
Docker images of Coq and MathComp
erikmd/docker-coq-travis-ci-demo-2
Docker-Coq + Travis CI demo 2
erikmd/tryjscoq
Try Coq in your browser using jsCoq - https://erikmd.github.io/tryjscoq - https://erikmd.github.io/tryjscoq/tapfa/preuves.v
erikmd/action-docker-coq
WIP
erikmd/bignums
Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
erikmd/coq-init.el
Config proof-general/company-coq (OLD REPOSITORY)
erikmd/CoqEAL
CoqEAL -- The Coq Effective Algebra Library
erikmd/docker-build-sha1-demo
Test repo
erikmd/docker-hub-gitlab-ci-demo
erikmd/docker-hub-helper
Tool to help maintain multi-branches, automated-build repos on Docker Hub - see also https://gitlab.com/erikmd/docker-keeper
erikmd/docker-postfix
Simple SMTP relay docker image.
erikmd/docker-reg-tool
Docker registry cli tool, primarily for deleting images.
erikmd/docker.github.io
Source repo for Docker's Documentation
erikmd/dune-starter
Simple template for midsize OCaml project
erikmd/fourcolor
Formal proof of the Four Color Theorem
erikmd/games
erikmd/lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
erikmd/manifesto
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
erikmd/odd-order
The formal proof of the Odd Order Theorem
erikmd/paramcoq
Coq plugin for parametricity
erikmd/PG
This repo is the new home of Proof General
erikmd/ReleveNotes-Spring-WS
Exemples de Web Services avec Spring-WS
erikmd/Schools
erikmd/Sokoban-Game
Program that solves sokoban game using different search algorithms and heuristics
erikmd/sps
Simple Provisioning System
erikmd/templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
erikmd/tpenv
Sauvegarde de l'environnement local de TP dans un dossier synchronisé
erikmd/x11docker
Run GUI applications and desktops in docker. Focus on security.