Speaker / Predavač' : Prof. Pierre Lescanne

Title / Naslov: Mechanical Reasoning on Infinite Extensive Games

Abstract / Rezime:

In order to better understand reasoning involved in analyzing infinite games in extensive form, I performed the experiments in proof assistant COQ that will be reported. Some concepts look extremely subtle and I am not sure to have understand all.