Conference Papers
Year : 2017
Documentation IRIT : Connect in order to contact the contributor
https://hal.science/hal-03131861
Submitted on : Thursday, February 4, 2021-4:52:45 PM
Last modification on : Thursday, January 25, 2024-6:36:22 PM
Dates and versions
Identifiers
- HAL Id : hal-03131861 , version 1
Cite
Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus. Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017). Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France. ⟨hal-03131861⟩
Collections
37
View
0
Download