Everything in here is super unfinished.

Game theory foundations

The name is inspired by the mighty executable textbook volumes known as Software Foundations.

Package: game-theory

• Goal: a coq library for game theory.
• Goal: annotate it to be a textbook and add exercises.

Package: comms

• Goal: communicate about this project; blogs, talks, papers.

Package: soupault

• https://game-theory-foundations.netlify.app
• contains alectryonification of game-theory package.