erikmd/docker-coq-github-action-demo erikmd/docker-coq-github-action-demo

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Coq
  • License
    MIT License
  • Created over 4 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
erikmd/docker-coq-github-action-demo
github

erikmd

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Demo of a regular Coq project using docker-coq-action as CI setup

More Repositories

1

git-scripts

Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)
Shell
8
star
2

docker-coq-travis-ci-demo-1

Docker-Coq + Travis CI demo 1
Coq
4
star
3

tapfa-init.el

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
Emacs Lisp
4
star
4

github-issues-import-api-tools

Tools for GitHub Issues Import API (json2github.py)
Python
4
star
5

tapfa-init-win64.el

Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)
4
star
6

ssr-under-tac

(A tactic to rewrite under lambdas in SSReflect/MathComp) => see https://github.com/coq/coq/pull/9651
Coq
3
star
7

pfitaxel-offline

Dummy web server
Mustache
1
star
8

gnome-screenshot-wrapper

A Bash wrapper for GNOME Screenshot
Python
1
star
9

tapfa-init-macos.el

Environnement de TP pour OCaml et Coq avec GNU Emacs sous macOS (UE TAPFA)
1
star
10

autosetup-tapfa

Script de configuration automatique de l'environnement OCaml en salle de TP TAPFA (L3 Info, UPS)
Shell
1
star
11

learn-ocaml-meetup-demo-repository

Minimal working example of a learn-ocaml source repo (slides : https://www.irit.fr/~Erik.Martin-Dorel/exposes/2022-W41_learn-ocaml_meetup.pdf)
OCaml
1
star
12

learn-ocaml-meetup-demo

Shell
1
star
13

coq-bool-games

A formal study of Boolean games with random formulas as payoff functions (Coq lib.)
Coq
1
star
14

docker-examples

Exemples et supports d'exercices autour de Docker
Java
1
star
15

coq-images

Docker images of Coq and MathComp
Dockerfile
1
star
16

docker-keeper

Mirror of https://gitlab.com/erikmd/docker-keeper: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.
Python
1
star
17

docker-coq-travis-ci-demo-2

Docker-Coq + Travis CI demo 2
Dockerfile
1
star