(Mechanical) Reasoning on Infinite Extensive Games
Disciplines
Text
English
ID: <
10670/1.1h513j>
In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed experiments in the proof assistant Coq that are reported here.