(Mechanical) Reasoning on Infinite Extensive Games
arXiv:0805.1798
Abstract
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.
11 p