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.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405 Contributor : Pierre LescanneConnect in order to contact the contributor Submitted on : Wednesday, May 28, 2008 - 3:47:46 PM Last modification on : Friday, September 10, 2021 - 2:34:03 PM Long-term archiving on: : Friday, September 24, 2010 - 10:21:21 AM