Popular repositories Loading

1. Brouwer Brouwer Public

   This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.

   Lean 9

2. gametheory gametheory Public

   Lean 8 1

3. AbstractAlgebra AbstractAlgebra Public

   Abstract Algebra Game

   Lean 4 4

4. MathBazaar MathBazaar Public

   Collections of useful mathematical statements in lean.

   Lean 2

5. AbstractAlgebraI AbstractAlgebraI Public

   Forked from math-xmum/AbstractAlgebra

   Abstract Algebra Game

   Lean 1 1

6. algebratest algebratest Public

   Forked from jiajunma/geothetalean

   Lean