elazargGameTheory0.1.0

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

    fixed-point-theorems9571dd7

  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.32.2

    The math library of Lean 4