elazargGameTheory0.1.0

Formalization of Game Theory in Lean4
#math #game-theory
Sort by
  1. Local path dependency.
    Not found on Reservoir.

    FixedPointTheorems0.0.0

  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.30.0

    The math library of Lean 4