"An Existence Theorem of Nash Equilibrium in Coq and Isabelle."

Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics