erikmd/coq-bool-games erikmd/coq-bool-games

  • Stars
    star
    1
  • Language Coq
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
erikmd/coq-bool-games
github

erikmd

Reviews

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

Repository Details

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

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-github-action-demo

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

docker-coq-travis-ci-demo-1

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

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
5

github-issues-import-api-tools

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

tapfa-init-win64.el

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

ssr-under-tac

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

pfitaxel-offline

Dummy web server
Mustache
1
star
9

gnome-screenshot-wrapper

A Bash wrapper for GNOME Screenshot
Python
1
star
10

tapfa-init-macos.el

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

autosetup-tapfa

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

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
13

learn-ocaml-meetup-demo

Shell
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