Popular repositories Loading

1. LinearAlgebraGame LinearAlgebraGame Public

   Forked from AdamJasonKern/LinearAlgebraGame

   Python 5 5

2. leangametemplate leangametemplate Public

   template for lean 4 linear algebra game

   Shell

3. lean-game- lean-game- Public

   Shell

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. lean4gametest lean4gametest Public

   Forked from leanprover-community/lean4game

   Server to host lean games.

   TypeScript

6. lean4game-world-display-bug lean4game-world-display-bug Public

   Minimal reproduction of world display bug in lean4game