math-xmumGametheory

This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.30.0

    The math library of Lean 4