Popular repositories Loading

1. gametheory gametheory Public

   Lean 6 1

2. Brouwer Brouwer Public

   Lean 6

3. AbstractAlgebra AbstractAlgebra Public

   Abstract Algebra Game

   Lean 3 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