Dependent Types for Extensive Games

DOI10.6092/issn.1972-5787/7517zbMath1451.91017arXiv1611.06101OpenAlexW2963812555MaRDI QIDQ5195288

Pierre Lescanne

Publication date: 18 September 2019

Full work available at URL: https://arxiv.org/abs/1611.06101

zbMATH Keywords

proof assistantinfinite gamecoinductionCoqextensive gamesequential game

Mathematics Subject Classification ID

Games in extensive form (91A18) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Coq