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.