Erik Martin-Dorel's repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
release-please-action
automated releases based on conventional commits
release-please
generate release PRs based on the conventionalcommits.org spec
git-scripts
Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)
multinomials
Multinomials for Ssreflect
platform
Multi platform setup for Coq, Coq libraries and tools
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
poc-github-ci
PoC GitHub CI
magit
It's Magit! A Git porcelain inside Emacs.
company-coq
IDE extensions for Proof General's Coq mode
autosetup-tapfa
Script de configuration automatique de l'environnement OCaml en salle de TP TAPFA (L3 Info, UPS)
tapfa-init-macos.el
Environnement de TP pour OCaml et Coq avec GNU Emacs sous macOS (UE TAPFA)
tapfa-init-win64.el
Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)
yamlview
PoC (YAML spec & Vue.js frontend)
ceps
Coq Enhancement Proposals
quad-tp1
TP1 UE QuaD - starter
docker-run-github-workflow-example
docker-coq-action example with custom_script and artifacts generation
docker-postfix
Simple SMTP relay docker image.
dune-starter
Simple template for midsize OCaml project
docker-hub-helper
Tool to help maintain multi-branches, automated-build repos on Docker Hub - see also https://gitlab.com/erikmd/docker-keeper
templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
odd-order
The formal proof of the Odd Order Theorem
docker.github.io
Source repo for Docker's Documentation
tryjscoq
Try Coq in your browser using jsCoq - https://erikmd.github.io/tryjscoq - https://erikmd.github.io/tryjscoq/tapfa/preuves.v
docker-coq-travis-ci-demo-2
Docker-Coq + Travis CI demo 2
docker-coq-travis-ci-demo-1
Docker-Coq + Travis CI demo 1