pPomCo / coq-incomplete-games-rjcia2021 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)

ppomco.github.io/coq-incomplete-games-rjcia2021

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 52 Commits
.github/workflows		.github/workflows
doc		doc
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject
coq-incomplete-games-rjcia2021.opam		coq-incomplete-games-rjcia2021.opam

Repository files navigation

coq-uncertainty

Algebraic Howson-Rosenthal-like transformation
- Coq script
Documentation
- Game forms and dependencies

About

Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)

ppomco.github.io/coq-incomplete-games-rjcia2021

game coq uncertainty incomplete bayesian theory algebraic succinct hypergraphical possibilistic

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages