In this reporsitory I present a Coq developement of extensive games using dependent types, together with examples
To run these examples you need Coq V8.6 or further.
Papers presenting the developement are
- https://arxiv.org/abs/1611.06101 and
- Pierre Lescanne. Dependent types for extensive games. J. Formalized Reasoning, 11(1):1–17, 2018. https://jfr.unibo.it/article/view/7517
Pierre Lescanne